1 2 3 4
(set-logic ALL_SUPPORTED) (set-info :status unsat) (assert (in 5 (as emptyset (Set Int) ))) (check-sat)