6.37/6.82	unsat
