9.70/10.27	unsat
