// CNF UnSat // clause length = 3 // // 75 325 -31 1 -42 -27 -58 61 -75 4 -70 55 24 40 72 -58 -50 51 -2 68 -5 -24 2 17 62 4 -9 -7 -34 -10 -40 44 -50 -44 17 -61 -66 38 -63 73 -11 1 -18 44 -21 -75 -51 4 -33 -13 -34 -61 -64 21 36 -43 -70 -29 -38 -8 -59 -25 74 -75 6 -52 60 68 69 -5 26 50 52 58 -44 -21 -57 -39 -61 -56 34 45 52 1 72 19 46 67 53 -59 73 34 -15 -75 -7 54 15 -36 -44 -23 -35 -62 -19 -45 53 -31 71 32 11 38 59 -28 65 -57 -72 -63 -30 65 10 -47 -66 4 -14 71 66 -5 -60 32 21 54 -3 -49 -52 -37 -67 -17 -63 29 -12 -45 -24 -67 29 61 6 63 -62 -4 -73 36 -66 58 -59 -1 4 -55 75 -7 -45 -31 55 45 62 13 51 26 65 -64 15 -22 20 57 66 -18 -66 47 12 19 -17 32 8 2 -42 -3 30 -55 14 -45 -57 -25 -33 66 -17 -4 -46 -58 67 -73 -27 22 -7 72 46 28 -56 -65 72 -71 57 -57 27 19 7 20 43 -29 -19 -23 32 17 34 -73 20 -7 16 -12 3 51 66 -46 -45 -47 -1 45 3 7 15 21 50 -73 17 1 -27 66 -71 15 -55 -7 -29 52 -55 -73 -56 16 -14 1 -13 -16 -67 35 75 55 68 58 34 13 -31 7 -74 -59 17 -60 -36 22 -53 8 7 31 -38 72 70 -69 65 10 52 19 31 -22 -51 -58 51 -53 72 43 -16 -7 -41 -59 -29 65 -28 9 -57 11 -74 29 -60 -22 -36 -34 16 7 36 -64 25 1 -68 -56 -2 67 -24 70 -61 -46 56 10 -66 -29 -41 19 -14 -52 -68 27 -74 -60 -30 -33 21 45 -33 -34 -20 -9 50 18 -11 24 22 8 61 65 -44 71 55 -14 7 -43 -63 13 -17 5 5 67 -55 -27 75 50 -39 -13 -64 20 -47 40 -70 74 -22 33 -26 -57 -72 -64 70 -55 -23 -24 41 19 35 11 22 -20 22 -52 67 -73 61 18 3 -11 24 -14 19 -42 69 -34 15 54 -12 -45 12 60 16 7 28 -41 46 -25 31 12 -8 -38 -3 10 9 -45 -36 68 -4 46 -37 -33 -49 -68 -12 4 -48 -47 30 55 -63 47 40 65 35 -50 -68 37 26 -26 37 -22 44 58 3 -27 24 50 -70 69 -42 -22 -12 8 66 23 68 -60 65 61 -67 40 -47 48 -26 -44 -60 -17 -75 24 -55 -20 20 -51 -31 -27 -30 -9 49 -43 -65 5 42 -3 2 -57 -47 62 17 -14 -61 -49 7 33 20 45 8 -43 68 -2 -49 7 11 -57 -22 1 -59 -17 9 -10 53 -40 -13 72 51 33 30 -34 9 55 -58 -67 39 -73 53 35 -54 49 18 73 74 -35 -60 55 71 62 19 -70 52 -5 16 17 33 75 -36 6 -21 -57 -16 -21 -55 -42 75 12 -43 -11 -53 71 23 74 -66 -36 61 42 -8 -63 -74 29 69 60 -63 69 -65 -38 46 -40 -59 73 -45 11 68 39 28 42 19 -61 71 16 62 26 2 -68 -53 5 -22 -18 3 -35 47 66 3 29 -15 -41 44 73 36 -60 9 34 67 -22 -65 -9 -36 53 69 -70 -43 52 -40 -36 -26 31 -49 14 -71 -4 41 -20 30 74 70 -8 1 72 48 10 6 8 -15 24 -35 18 -32 5 -12 63 -10 49 -21 66 24 -67 -19 -34 8 -62 -68 -25 20 75 54 71 -3 1 41 6 45 15 -63 35 16 -39 19 47 67 15 63 26 -19 -48 -25 11 10 38 -46 -34 51 16 -27 25 -45 -32 19 69 -66 63 -44 71 74 25 47 61 -37 53 -44 37 49 -75 48 -18 -52 72 -20 60 -33 -25 57 -29 -8 52 -17 -37 -49 -72 -39 -42 39 45 61 70 36 -57 -7 32 65 -18 21 17 15 55 48 -40 72 21 -45 -36 13 -2 -71 66 61 19 34 -45 -51 40 -24 -17 37 4 73 -47 33 32 -39 62 50 14 59 -62 66 -60 -56 -65 46 -9 -24 51 -73 -11 -62 -59 -71 56 57 21 73 -2 -48 15 14 21 25 69 -15 -4 -74 -70 26 -54 -72 -30 -55 -54 -25 70 65 63 -24 -10 -1 39 -6 -51 10 -68 43 -3 41 -61 -72 55 -47 30 42 -62 33 -39 47 -6 -54 -2 20 -28 -13 -25 27 41 -20 73 -4 -9 41 16 43 -66 -26 -39 75 -12 -3 15 -12 -37 10 -39 58 56 6 -43 43 -10 19 -72 56 29 71 -19 -24 -11 62 -29 -21 61 75 -57 -51 28 -17 -54 -65 58 48 -13 72 16 -52 20 30 -41 -38 -75 25 -75 -15 61 -59 -42 10 61 -45 -30 -18 14 68 -33 -72 11 -65 -62 24 12 35 49 -35 -16 -66 28 -70 74 -31 -10 29 -50 57 -2 -5 -43 -13 -1 24 59 -51 -40 30 7 -16 17 -50 31 66 -29 33 -64 -9 12 75 -27 54 52 64 -35 52 15 44 63 26 49 -48 -66 24 -71 -3 43 52