47.08/47.25	unsat
