Added minisat outputs