0.00/5.74	unsat
