47.38/47.52	unsat
