(set-logic ALL_SUPPORTED)
(set-info :status unsat)
(assert (member 5 (as emptyset (Set Int) )))
(check-sat)