8.77/10.27	unsat
