CryptoMiniSat 5.6 with YalSAT at the SAT Race