(declare-const u00v01 bool)
(declare-const u00v10 bool)
(declare-const u00v11 bool)
(declare-const u01v11 bool)
(declare-const u10v11 bool)
(assert (or u00v01 u00v10))
(assert (or u00v01 u00v11))
(assert (or u00v10 u00v01))
(assert (or u00v10 u00v11))
(assert (or u00v11 u00v01))
(assert (or u00v11 u00v10))
(check-sat)
(get-model)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    u1001v1011 u1001v1111))
(assert (or u1001v1101 u1001v1011))
(assert (or u1001v1101 u1001v1111))
(assert (or u1001v1111 u1001v1011))
(assert (or u1001v1111 u1001v1101))
(assert (or u1010v1011 u1010v1110))
(assert (or u1010v1011 u1010v1111))
(assert (or u1010v1110 u1010v1011))
(assert (or u1010v1110 u1010v1111))
(assert (or u1010v1111 u1010v1011))
(assert (or u1010v1111 u1010v1110))
(assert (or u1100v1101 u1100v1110))
(assert (or u1100v1101 u1100v1111))
(assert (or u1100v1110 u1100v1101))
(assert (or u1100v1110 u1100v1111))
(assert (or u1100v1111 u1100v1101))
(assert (or u1100v1111 u1100v1110))
