9.88/12.10	unsat
