(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))
(assert (or u00v01 u00v11 u00v10))
(assert (or u00v10 u00v01 u00v11))
(assert (or u00v10 u00v11 u00v01))
(assert (or u00v11 u00v01 u00v10))
(assert (or u00v11 u00v10 u00v01))
(check-sat)
(get-model)
