Makefile bug fix. Check the CRYPTOMINISAT flag when cleaning.
Makefile bug fix. Check the CRYPTOMINISAT flag when cleaning.


kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp