0.00/6.23	unsat
