(declare-const u00v01 bool)
(declare-const u00v10 bool)
(declare-const u00v11 bool)
(declare-const u01v11 bool)
(declare-const u10v11 bool)
(assert (or (not u00v11) (not u01v11) (not u10v11)))
(assert (or (not u00v11) (not u10v11) (not u01v11)))
(check-sat)
(get-model)
