ignore the config file
fixes bugs for OSX in minisat
print problem, and the graphical program from the paper