47.70/47.74	unsat
