Fixed minisat include