0.00/5.97	unsat
