Fuzz with cryptominisat