1 2 3 4 5
(set-logic ALL) (set-info :status unsat) (declare-fun A () (Bag Int)) (assert (distinct (bag.choose A) (bag.choose A))) (check-sat)