6.48/7.27	unsat
