0.00/6.44	unsat
