9.88/12.47	unsat
