48.31/50.05	unsat
