; EXPECT: sat
(set-logic QF_UFLIAFS)
(set-info :status sat)
(declare-fun x () (Set Int))
(declare-fun y () (Set Int))
(assert (not (= x y)))
(check-sat)