(declare-const v0 bool)
(declare-const v1 bool)
(assert (or v0 v1))
(assert (or (not v0) (not v1)))
(check-sat)
(get-model)
