c FILE: dubois20.cnf
c
c SOURCE: Olivier Dubois (dubois@laforia.ibp.fr)
c
c DESCRIPTION: Instance from generator gensathard.c
c
c NOTE: Not satisfiable
c
c d = 20
c n = 60
c p = 160
c r = 3
p cnf 60 160
 39  40   1  0
-39 -40   1  0
 39 -40  -1  0
-39  40  -1  0
  1  41   2  0
 -1 -41   2  0
  1 -41  -2  0
 -1  41  -2  0
  2  42   3  0
 -2 -42   3  0
  2 -42  -3  0
 -2  42  -3  0
  3  43   4  0
 -3 -43   4  0
  3 -43  -4  0
 -3  43  -4  0
  4  44   5  0
 -4 -44   5  0
  4 -44  -5  0
 -4  44  -5  0
  5  45   6  0
 -5 -45   6  0
  5 -45  -6  0
 -5  45  -6  0
  6  46   7  0
 -6 -46   7  0
  6 -46  -7  0
 -6  46  -7  0
  7  47   8  0
 -7 -47   8  0
  7 -47  -8  0
 -7  47  -8  0
  8  48   9  0
 -8 -48   9  0
  8 -48  -9  0
 -8  48  -9  0
  9  49  10  0
 -9 -49  10  0
  9 -49 -10  0
 -9  49 -10  0
 10  50  11  0
-10 -50  11  0
 10 -50 -11  0
-10  50 -11  0
 11  51  12  0
-11 -51  12  0
 11 -51 -12  0
-11  51 -12  0
 12  52  13  0
-12 -52  13  0
 12 -52 -13  0
-12  52 -13  0
 13  53  14  0
-13 -53  14  0
 13 -53 -14  0
-13  53 -14  0
 14  54  15  0
-14 -54  15  0
 14 -54 -15  0
-14  54 -15  0
 15  55  16  0
-15 -55  16  0
 15 -55 -16  0
-15  55 -16  0
 16  56  17  0
-16 -56  17  0
 16 -56 -17  0
-16  56 -17  0
 17  57  18  0
-17 -57  18  0
 17 -57 -18  0
-17  57 -18  0
 18  58  19  0
-18 -58  19  0
 18 -58 -19  0
-18  58 -19  0
 19  59  60  0
-19 -59  60  0
 19 -59 -60  0
-19  59 -60  0
 20  59  60  0
-20 -59  60  0
 20 -59 -60  0
-20  59 -60  0
 21  58  20  0
-21 -58  20  0
 21 -58 -20  0
-21  58 -20  0
 22  57  21  0
-22 -57  21  0
 22 -57 -21  0
-22  57 -21  0
 23  56  22  0
-23 -56  22  0
 23 -56 -22  0
-23  56 -22  0
 24  55  23  0
-24 -55  23  0
 24 -55 -23  0
-24  55 -23  0
 25  54  24  0
-25 -54  24  0
 25 -54 -24  0
-25  54 -24  0
 26  53  25  0
-26 -53  25  0
 26 -53 -25  0
-26  53 -25  0
 27  52  26  0
-27 -52  26  0
 27 -52 -26  0
-27  52 -26  0
 28  51  27  0
-28 -51  27  0
 28 -51 -27  0
-28  51 -27  0
 29  50  28  0
-29 -50  28  0
 29 -50 -28  0
-29  50 -28  0
 30  49  29  0
-30 -49  29  0
 30 -49 -29  0
-30  49 -29  0
 31  48  30  0
-31 -48  30  0
 31 -48 -30  0
-31  48 -30  0
 32  47  31  0
-32 -47  31  0
 32 -47 -31  0
-32  47 -31  0
 33  46  32  0
-33 -46  32  0
 33 -46 -32  0
-33  46 -32  0
 34  45  33  0
-34 -45  33  0
 34 -45 -33  0
-34  45 -33  0
 35  44  34  0
-35 -44  34  0
 35 -44 -34  0
-35  44 -34  0
 36  43  35  0
-36 -43  35  0
 36 -43 -35  0
-36  43 -35  0
 37  42  36  0
-37 -42  36  0
 37 -42 -36  0
-37  42 -36  0
 38  41  37  0
-38 -41  37  0
 38 -41 -37  0
-38  41 -37  0
 39  40 -38  0
-39 -40 -38  0
 39 -40  38  0
-39  40  38  0