6.47/8.27	unsat
