sat-long-queries.txt

x[18] < x[12], x[19] > x[12], x[19] < x[13], x[2] < x[30], x[3] > x[31], x[2] < x[28], x[3] > x[28], x[3] < x[29], x[8] < x[6], x[9] == x[7], x[15] == x[2], x[0] > x[16], x[1] == x[17], x[16] == x[6], x[17] == x[7], x[10] == x[18], x[11] > x[19], x[31] < x[16], x[12] == x[3], x[28] == x[24], x[29] > x[25], x[28] > x[4], x[28] < x[5], x[29] > x[5], x[18] > x[20], x[19] < x[21], x[13] == x[8], x[26] > x[4], x[27] == x[5], x[10] == x[22], x[11] < x[23]