6.47/6.82	unsat
