(set-logic QF_LIA) (declare-fun x1() Int) (assert (and (>= x1 0) (<= x1 1))) (declare-fun x2() Int) (assert (and (>= x2 2) (<= x2 14))) (declare-fun x3() Int) (assert (and (>= x3 15) (<= x3 31))) (declare-fun x4() Int) (assert (and (>= x4 32) (<= x4 62))) (declare-fun x5() Int) (assert (and (>= x5 63) (<= x5 65))) (declare-fun x6() Int) (assert (and (>= x6 66) (<= x6 71))) (declare-fun x7() Int) (assert (and (>= x7 72) (<= x7 77))) (declare-fun x8() Int) (assert (and (>= x8 78) (<= x8 79))) (declare-fun x9() Int) (assert (and (>= x9 80) (<= x9 81))) (declare-fun x10() Int) (assert (and (>= x10 82) (<= x10 83))) (declare-fun x11() Int) (assert (and (>= x11 84) (<= x11 85))) (declare-fun x12() Int) (assert (and (>= x12 86) (<= x12 96))) (declare-fun x13() Int) (assert (and (>= x13 97) (<= x13 98))) (declare-fun x14() Int) (assert (and (>= x14 99) (<= x14 103))) (check-sat)