Solovay Strassen primality test