(define x1::int) (assert (and (>= x1 0) (<= x1 1))) (define x2::int) (assert (and (>= x2 2) (<= x2 3))) (define x3::int) (assert (and (>= x3 4) (<= x3 5))) (define x4::int) (assert (and (>= x4 6) (<= x4 7))) (define x5::int) (assert (and (>= x5 8) (<= x5 9))) (define x6::int) (assert (and (>= x6 10) (<= x6 11))) (define x7::int) (assert (and (>= x7 12) (<= x7 13))) (define x8::int) (assert (and (>= x8 14) (<= x8 15))) (define x9::int) (assert (and (>= x9 16) (<= x9 17))) (define x10::int) (assert (and (>= x10 18) (<= x10 19))) (define c1::bool (or (/= x4 7) (/= x3 5))) (assert c1) (check)