0.00/5.86	unsat
