5.08/5.25	unsat
