now we ignore stderr and stedout of minisat. make clean removes *.pyc. removed constants