(declare-const v00 bool)
(declare-const v01 bool)
(declare-const v10 bool)
(declare-const v11 bool)
(assert (or v00 v01 v10 v11))
(assert (or v00 v10 v01 v11))
(assert (or (not v00) (not v01)))
(assert (or (not v00) (not v10)))
(assert (or (not v00) (not v11)))
(assert (or (not v01) (not v11)))
(assert (or (not v10) (not v11)))
(check-sat)
(get-model)
