5.39/8.27	unsat
