(declare-const v00 bool)
(declare-const v01 bool)
(declare-const v10 bool)
(declare-const v11 bool)
(assert (or v00 v01))
(assert (or v00 v10))
(assert (or v00 v11))
(assert (or v01 v11))
(assert (or v10 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)
