c c SAT instance in DIMACS CNF input format. c p cnf 100 403 29 -45 92 0 -6 -10 13 0 -6 -33 -80 0 27 34 -78 0 15 -22 32 0 11 42 63 0 58 62 -66 0 -40 64 -95 0 39 76 84 0 6 82 -85 0 27 55 82 0 40 67 87 0 3 -8 40 0 -18 74 87 0 12 51 83 0 23 -58 90 0 -13 -71 99 0 14 -51 -61 0 -43 54 95 0 54 91 -97 0 -3 8 79 0 47 80 84 0 5 20 -70 0 -4 51 -67 0 27 33 55 0 15 -21 79 0 22 51 52 0 3 -13 -52 0 -24 46 -57 0 85 -88 95 0 15 -70 -78 0 31 -59 99 0 -43 51 79 0 -10 -27 -98 0 -63 76 90 0 22 -64 -68 0 5 13 -16 0 -7 -14 -34 0 -7 -17 -47 0 -16 -18 53 0 42 57 58 0 29 -34 -76 0 1 -28 72 0 41 -44 88 0 -32 -39 60 0 17 -41 87 0 -55 -60 65 0 -17 -25 -82 0 -56 -79 92 0 48 -52 -78 0 44 -51 72 0 -11 -86 -91 0 -55 -88 93 0 -67 72 88 0 -8 69 -87 0 -28 68 -70 0 -41 46 -73 0 33 57 -98 0 -27 -46 99 0 31 -45 -93 0 41 -62 89 0 6 64 -73 0 -19 -32 -95 0 3 -67 69 0 -17 19 -39 0 -22 59 -77 0 -5 34 -80 0 -28 -31 -81 0 30 79 84 0 18 -86 -98 0 -27 38 51 0 25 -34 74 0 10 -72 86 0 8 42 -77 0 5 -17 75 0 -33 -70 -81 0 -2 -34 -98 0 -18 -28 -47 0 15 -41 -47 0 9 -17 95 0 -41 -82 98 0 -12 -25 -44 0 -31 75 -96 0 6 -15 -29 0 -29 30 -51 0 -26 43 76 0 -37 -59 60 0 -13 61 -71 0 -25 32 58 0 -7 -76 -99 0 -57 -75 -93 0 -18 51 -56 0 -8 -33 76 0 -91 97 99 0 -61 -84 96 0 -14 -60 -61 0 41 67 85 0 -48 67 -77 0 29 -42 52 0 7 -46 -51 0 -46 -51 55 0 -41 66 -82 0 4 -44 -75 0 49 78 83 0 27 29 51 0 23 -48 -60 0 7 -31 -47 0 -81 -82 91 0 33 52 -68 0 -48 67 84 0 -39 -48 94 0 -37 66 98 0 -2 -14 80 0 73 -89 95 0 45 71 -76 0 26 -42 80 0 -39 -49 98 0 38 -60 65 0 -12 -19 26 0 6 -10 -81 0 5 -35 -53 0 49 -60 90 0 -13 41 -75 0 4 -6 -91 0 -4 81 83 0 5 -39 54 0 -17 40 -72 0 58 -59 84 0 -20 64 78 0 -28 -62 94 0 19 -59 -61 0 24 -56 79 0 33 46 -48 0 14 -23 40 0 -71 -78 -80 0 27 -33 60 0 64 82 -87 0 -45 -64 75 0 40 -74 -88 0 27 -39 -81 0 12 -14 -91 0 4 60 78 0 18 78 88 0 -41 64 -83 0 3 92 98 0 4 -53 -90 0 -27 66 -67 0 15 -28 74 0 3 40 69 0 41 63 -86 0 -33 72 80 0 -26 80 -85 0 4 30 72 0 -20 36 -51 0 20 24 -32 0 16 54 60 0 -11 -62 76 0 19 -60 87 0 42 -60 -78 0 1 -91 96 0 20 -90 -91 0 38 62 -96 0 -3 -18 70 0 -31 -43 -81 0 29 52 -68 0 24 -41 77 0 -6 40 -76 0 46 60 -72 0 3 36 85 0 12 -21 -95 0 -5 25 49 0 -63 -79 93 0 53 -71 -73 0 -29 36 -43 0 -9 47 -99 0 50 -60 -70 0 -43 -52 -88 0 -52 -65 75 0 9 19 54 0 66 80 -95 0 2 -32 -98 0 20 -42 -61 0 20 77 79 0 -5 14 52 0 -39 55 -77 0 -26 -68 70 0 -49 -79 -91 0 15 54 86 0 27 29 62 0 8 16 56 0 18 52 70 0 18 -62 -91 0 4 7 -19 0 24 -27 -52 0 -32 48 -77 0 54 57 88 0 -4 73 81 0 7 -59 -64 0 -7 66 83 0 -39 -91 92 0 -6 21 -74 0 -37 -43 -69 0 -3 58 -88 0 -13 25 39 0 37 51 74 0 51 -60 97 0 -30 48 -81 0 10 12 56 0 -55 -71 -87 0 -12 22 -54 0 33 71 -85 0 12 50 -72 0 -30 38 56 0 -33 -52 77 0 -49 67 95 0 -3 21 -89 0 37 51 68 0 -74 -82 94 0 46 52 89 0 -1 20 55 0 -6 17 42 0 -58 81 94 0 22 44 55 0 21 -47 -67 0 -12 60 91 0 3 60 74 0 -27 -52 -89 0 8 32 -86 0 11 27 53 0 50 52 53 0 -9 -36 94 0 -14 54 -90 0 -46 47 -96 0 10 89 100 0 13 -55 -93 0 39 -65 81 0 19 37 85 0 3 29 42 0 -33 -76 -83 0 -39 50 -73 0 43 56 64 0 -7 -92 -97 0 7 22 -56 0 27 43 53 0 3 -33 66 0 -9 -50 -61 0 -38 65 -93 0 -32 -43 -45 0 5 -18 -98 0 -48 -72 -78 0 -6 9 -48 0 -3 4 96 0 5 9 -69 0 -78 81 92 0 27 64 -79 0 -35 -55 74 0 1 25 99 0 -38 -58 -91 0 21 37 -87 0 -35 -61 85 0 -61 65 -86 0 45 -77 -98 0 -25 42 -78 0 10 25 -52 0 58 97 100 0 -27 54 -83 0 6 17 21 0 17 20 -68 0 -8 20 94 0 -5 -23 -67 0 31 44 -88 0 -17 -38 -63 0 -6 46 86 0 -6 38 -90 0 49 -59 -60 0 -15 18 -68 0 -21 80 91 0 24 38 -89 0 -12 18 41 0 -52 -85 -87 0 -34 51 -91 0 9 -34 -82 0 2 -7 -63 0 6 50 60 0 62 -84 -94 0 -23 -71 98 0 59 -83 -97 0 -57 -65 -81 0 -37 -75 90 0 -51 -90 91 0 -68 -71 90 0 -9 -22 -48 0 81 92 -97 0 -23 73 -95 0 -12 58 76 0 15 89 90 0 -1 39 60 0 -6 -11 90 0 -39 -44 56 0 -24 -30 74 0 -52 -78 -81 0 44 53 -67 0 -66 74 -79 0 63 86 87 0 -38 56 98 0 31 -64 -80 0 -8 44 53 0 22 74 80 0 -24 -54 -58 0 44 -54 -62 0 -24 -37 43 0 -57 71 -86 0 3 70 -84 0 -19 61 99 0 -14 58 72 0 -35 89 -95 0 -24 -38 72 0 44 52 -97 0 65 77 90 0 -3 41 50 0 -15 75 -96 0 14 -85 93 0 -19 -66 -93 0 58 -61 94 0 33 -36 68 0 5 -61 -62 0 -6 -19 49 0 -11 63 -94 0 50 -66 -87 0 -26 -51 -86 0 -76 -86 90 0 -58 70 86 0 -8 -24 85 0 -7 -24 -76 0 -17 38 -51 0 -59 -93 -98 0 27 -33 63 0 -42 72 -83 0 -1 48 -58 0 18 56 94 0 -15 -41 95 0 44 55 63 0 20 -22 -46 0 9 28 -47 0 28 -57 -74 0 3 -46 -78 0 -11 62 86 0 48 -55 -79 0 93 -95 -98 0 25 69 -91 0 -1 19 23 0 -45 -73 77 0 -33 47 92 0 28 -83 86 0 57 -77 -91 0 3 -44 -58 0 -13 33 65 0 -11 -25 29 0 -63 -93 95 0 -18 -33 -66 0 5 21 -91 0 20 -76 82 0 -1 55 100 0 -5 -65 -68 0 39 -60 75 0 9 14 61 0 16 29 -69 0 56 84 -91 0 16 -57 -92 0 56 62 63 0 21 -91 100 0 3 30 56 0 -1 -23 -48 0 14 26 -38 0 2 -45 -72 0 26 52 -74 0 -7 -28 -67 0 -29 35 44 0 -40 -68 82 0 33 -51 -85 0 18 23 -60 0 10 39 -55 0 54 -55 98 0 46 -56 66 0 -3 4 -20 0 -41 55 -85 0 34 80 95 0 22 -59 -60 0 -18 -52 -93 0 12 -94 -98 0 -2 12 53 0 30 -50 -94 0 5 31 62 0 19 30 -44 0 -11 -45 -52 0 -4 52 98 0 33 43 84 0 -35 -41 52 0 -14 36 45 0 -37 63 -78 0 -8 27 -84 0 2 18 -79 0 -1 -21 60 0