checking if 'minisat' is compiled or not. every print is in english (I think)