6.82/7.37	unsat
