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