4.82/6.95	unsat
