9.98/12.17	unsat
