5.82/6.23	unsat
