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