Added minisat code