0.00/6.47	unsat
