6.08/6.25	unsat
