c FILE: aim-50-3_4-yes1-1.cnf c c SOURCE: Kazuo Iwama, Eiji Miyano (miyano@cscu.kyushu-u.ac.jp), c and Yuichi Asahiro c c DESCRIPTION: Artifical instances from generator by source. Generators c and more information in sat/contributed/iwama. c c NOTE: Satisfiable c p cnf 50 170 43 46 49 0 29 -43 46 0 16 -29 -43 0 16 46 -49 0 24 36 -46 0 -28 36 -46 0 24 -36 -46 0 -24 25 34 0 6 -25 34 0 16 -24 -34 0 -6 16 -24 0 5 9 32 0 5 -16 -32 0 -5 9 25 0 -5 9 -25 0 -9 -16 17 0 14 24 35 0 -5 -17 35 0 -9 -17 35 0 11 -35 -49 0 -11 -35 -49 0 -26 -35 -49 0 -9 24 49 0 -6 -35 49 0 2 -24 -28 0 -2 27 -28 0 -24 -27 -28 0 26 40 42 0 28 40 42 0 28 40 -42 0 26 28 -40 0 -14 35 -40 0 -14 -28 -35 0 3 27 49 0 -3 -14 -26 0 -14 -27 37 0 9 -27 -37 0 -9 -14 -40 0 6 28 42 0 28 42 -44 0 6 -19 42 0 6 -42 45 0 2 14 33 0 -2 11 13 0 11 -13 -45 0 8 -33 -45 0 -8 10 23 0 9 -10 23 0 -9 -10 23 0 -8 11 14 0 11 -13 14 0 17 29 -42 0 9 29 -42 0 29 -38 -42 0 -5 -29 -40 0 -5 -17 -40 0 26 -40 -45 0 5 10 -38 0 -10 -38 -42 0 7 38 48 0 -7 44 48 0 -4 38 48 0 -26 38 48 0 -11 23 31 0 -11 23 -31 0 5 -26 44 0 -23 -32 39 0 -23 -32 -39 0 34 -41 -48 0 19 -34 -41 0 32 -41 -48 0 20 -23 -48 0 31 34 -44 0 31 -34 -44 0 31 -32 -34 0 -20 31 -47 0 4 -29 41 0 4 -29 -33 0 -4 35 -44 0 -4 -29 -44 0 22 32 33 0 22 32 43 0 21 41 48 0 -19 21 -48 0 21 -32 -48 0 -19 -21 43 0 -17 22 25 0 22 -25 43 0 41 -43 50 0 41 -43 -50 0 -10 -20 39 0 -20 26 -39 0 -10 -20 41 0 -22 -31 39 0 -20 -39 -50 0 10 -19 -22 0 10 15 50 0 25 -30 -41 0 10 15 -25 0 -15 -30 41 0 1 -15 -41 0 -15 -30 50 0 8 30 50 0 22 -39 46 0 19 -22 47 0 -22 46 -47 0 -1 19 38 0 -1 19 -46 0 -1 30 -38 0 8 -13 30 0 -8 -13 30 0 -8 -12 30 0 1 -4 -46 0 -4 -6 -46 0 4 13 -37 0 -3 12 45 0 -3 38 -45 0 -3 12 -38 0 -3 12 -25 0 13 17 33 0 2 -33 37 0 13 -33 37 0 1 17 -37 0 6 -7 13 0 -7 13 -30 0 -6 -7 26 0 1 -6 -26 0 3 16 17 0 -1 3 -17 0 1 -16 44 0 -1 3 44 0 -16 44 -49 0 3 -7 -16 0 7 12 -43 0 2 4 18 0 2 4 -18 0 4 36 37 0 8 27 -36 0 27 -36 43 0 7 37 47 0 7 -37 47 0 7 45 47 0 -30 -45 47 0 18 29 36 0 19 27 -47 0 -2 -19 -47 0 18 -27 36 0 -2 12 18 0 -2 -12 50 0 18 -36 -50 0 -27 34 -36 0 8 15 -18 0 -8 15 -18 0 -15 -33 -47 0 -15 25 33 0 21 33 -34 0 -13 20 -21 0 -11 -12 -20 0 5 -21 39 0 -12 15 -21 0 -31 32 -50 0 -12 -23 40 0 -11 21 45 0 -18 24 -31 0 20 -31 -37 0 -23 40 45 0 -22 39 49 0 -18 -39 -50 0 14 20 23 0 20 21 -21 0