44.70/50.08	unsat
