andricas conjecture