1 2 3 4 5 6 7
(set-logic QF_UF) (declare-fun a () Bool) (declare-fun b () Bool) (declare-fun c () Bool) (assert (distinct a b c)) (check-sat) (exit)