5.82/6.71	unsat
