0.00/6.61	unsat
