47.51/50.18	unsat
