47.57/47.90	unsat
