0.00/6.14	unsat
