0.00/5.80	unsat
