47.72/47.80	unsat
