Tests: cryptominisat-basic
