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 p cnf 23 43 -3 -6 0 7 -8 0 -9 7 0 -9 -3 0 -11 -6 0 -11 -9 0 -13 -6 0 -13 -9 0 -15 7 0 -15 10 0 -17 10 0 -17 7 0 1 2 0 -1 -2 0 3 4 0 -3 -4 0 5 6 7 0 -5 -6 0 -5 -7 0 -6 -7 0 8 9 10 0 -8 -9 0 -8 -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 21 22 23 0 -19 -20 0 -19 -21 0 -19 -22 0 -19 -23 0 -20 -21 0 -20 -22 0 -20 -23 0 -21 -22 0 -21 -23 0 -22 -23 0