47.25/47.38	unsat
