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