c FILE: aim-50-3_4-yes1-2.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 17 19 38 0 19 -38 44 0 15 -19 36 0 15 -36 39 0 11 -36 -39 0 -15 -19 44 0 1 17 23 0 -1 42 -44 0 23 -42 -44 0 11 17 -23 0 11 -17 20 0 -17 20 -28 0 14 -17 -20 0 7 -11 21 0 -7 14 21 0 -11 14 -21 0 -14 24 -31 0 -24 -31 42 0 -24 -31 -42 0 31 33 45 0 -33 45 46 0 31 -33 45 0 -2 -45 47 0 -2 -14 28 0 -2 25 -47 0 -14 -25 -47 0 31 -45 46 0 17 -18 19 0 -17 -18 30 0 -18 30 -45 0 -18 -30 -45 0 1 -46 49 0 1 -8 49 0 36 -46 -49 0 13 -46 49 0 9 13 -49 0 9 -13 50 0 -1 -46 -50 0 9 26 -36 0 2 9 -26 0 -9 11 -45 0 2 18 34 0 18 -34 40 0 -9 19 -34 0 -11 -22 -40 0 4 16 43 0 10 35 -43 0 -10 16 -43 0 -4 16 35 0 -11 21 35 0 -21 22 35 0 22 40 46 0 22 36 -46 0 -35 36 -40 0 -19 28 50 0 2 -28 42 0 2 -19 -42 0 -2 -40 50 0 -19 26 -50 0 6 22 39 0 -6 28 39 0 3 5 39 0 -3 5 36 0 -3 12 -36 0 -3 -12 -35 0 -5 -28 29 0 -5 22 -29 0 -5 -22 -35 0 -36 49 -50 0 -10 -39 -49 0 -24 -26 27 0 10 -24 -26 0 14 -28 -39 0 24 -28 -39 0 7 24 38 0 24 38 -49 0 6 15 37 0 23 33 37 0 15 -23 33 0 24 -33 37 0 10 15 -37 0 10 -37 -39 0 -1 10 -37 0 -15 20 28 0 -15 -20 41 0 -12 -20 49 0 -15 23 41 0 -23 41 -49 0 10 -17 -38 0 -41 -47 48 0 -41 -47 -48 0 28 -44 -47 0 -15 -33 -38 0 6 14 30 0 6 -14 30 0 -30 -37 -41 0 -6 -37 47 0 17 23 33 0 14 -27 35 0 -14 -27 31 0 -27 -35 40 0 -35 -40 50 0 -27 31 -50 0 7 -31 47 0 4 7 -48 0 -4 7 37 0 -7 -31 47 0 33 -42 47 0 -23 -42 -47 0 -5 42 50 0 -5 -23 -50 0 -13 37 42 0 13 27 48 0 13 -25 48 0 5 8 20 0 8 11 32 0 8 -11 16 0 8 -16 32 0 5 8 -32 0 5 26 29 0 -26 29 38 0 29 34 -38 0 29 -34 -48 0 -12 -29 -48 0 -29 34 39 0 -29 34 44 0 12 -29 44 0 2 -8 30 0 -2 -8 -44 0 12 -25 48 0 12 -30 48 0 -25 27 -44 0 12 -25 -48 0 25 -30 -43 0 -1 9 12 0 -1 -9 -30 0 -4 41 43 0 -4 -41 43 0 -4 -12 -41 0 4 25 44 0 4 7 25 0 1 6 32 0 -7 13 32 0 -6 -7 -13 0 1 -6 32 0 -7 38 43 0 16 -38 43 0 -16 20 -32 0 -20 21 27 0 21 27 -47 0 -16 18 34 0 -16 18 -27 0 -16 -18 -20 0 -3 4 -21 0 -3 4 -40 0 3 -6 -21 0 -32 41 45 0 -8 -34 46 0 -8 -9 26 0 -32 -34 40 0 -13 25 26 0 -10 18 -43 0 -10 19 -26 0 -12 -24 -30 0 -22 26 40 0 -9 -32 46 0 -21 -22 -43 0 3 -13 45 0 3 -10 -22 0 3 -33 45 0