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