4.82/6.35	unsat
