48.38/50.63	unsat
