0.00/6.90	unsat
