0.00/6.55	unsat
