4.89/8.27	unsat
