1 2 3 4 5 6
(set-logic ALL) (set-info :status sat) (declare-fun S () (Set Int)) (assert (>= (set.card S) 3)) (assert (not (set.member 1 S))) (check-sat)