6.79/8.27	unsat
