9.88/9.95	unsat
