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