8.88/10.27	unsat
