0.00/6.10	unsat
