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