47.38/47.87	unsat
