Miller-rabin try