9.88/9.96	unsat
