0.00/6.05	unsat
