49.08/50.96	unsat
