6.83/7.27	unsat
