c 1 v1 c 2 v2 c 3 v3 c 4 v4 c 5 v5 c 6 v6 c 7 v7 c 8 v8 c 9 v9 c 10 v10 c 11 v11 c 12 v12 c 13 v13 c 14 v14 c 15 v15 c 16 v16 c 17 v17 c 18 v18 c 19 v19 c 20 v20 c 21 v21 c 22 v22 c 23 v23 c 24 v24 c 25 v25 c 26 v26 c 27 v27 c 28 v28 c 29 v29 p cnf 29 91 -11 -9 0 -11 -13 0 -11 -15 0 -11 -17 0 -11 -19 0 -11 -21 0 -11 -23 0 -13 -9 0 -13 -11 0 -13 -15 0 -13 -17 0 -13 -19 0 -13 -21 0 -13 -23 0 -15 -9 0 -15 -11 0 -15 -13 0 -15 -17 0 -15 -19 0 -15 -21 0 -15 -23 0 -17 -9 0 -17 -11 0 -17 -13 0 -17 -15 0 -17 -19 0 -17 -21 0 -17 -23 0 -19 -9 0 -19 -11 0 -19 -13 0 -19 -15 0 -19 -17 0 -19 -21 0 -19 -23 0 -21 -9 0 -21 -11 0 -21 -13 0 -21 -15 0 -21 -17 0 -21 -19 0 -21 -23 0 -23 -9 0 -23 -11 0 -23 -13 0 -23 -15 0 -23 -17 0 -23 -19 0 -23 -21 0 -25 -9 0 -25 -11 0 -25 -13 0 -25 -15 0 -25 -17 0 -25 -19 0 -25 -21 0 -25 -23 0 -27 -5 0 -28 5 0 -29 0 -2 -4 -6 -8 -10 -12 -14 -16 -18 -20 -22 -24 -26 0 1 2 0 -1 -2 0 3 4 0 -3 -4 0 5 6 0 -5 -6 0 7 8 0 -7 -8 0 9 10 0 -9 -10 0 11 12 0 -11 -12 0 13 14 0 -13 -14 0 15 16 0 -15 -16 0 17 18 0 -17 -18 0 19 20 0 -19 -20 0 21 22 0 -21 -22 0 23 24 0 -23 -24 0 25 26 0 -25 -26 0 27 28 29 0 -27 -28 0 -27 -29 0 -28 -29 0