text: c This Formular is generated by mcnf
  c
  c    horn? no 
  c    forced? no 
  c    mixed sat? no 
  c    clause length = 3 
  c
  p cnf 50  218 
   45 -29 8 0
  -49 17 11 0
  -40 -17 -23 0
  -1 49 20 0
  -10 -18 40 0
  -25 -24 48 0
  44 27 41 0
  -17 -43 30 0
  32 33 11 0
  24 26 42 0
  -33 38 44 0
  -5 14 49 0
  -8 33 -45 0
  49 3 -10 0
  34 -27 2 0
  -45 23 3 0
  10 7 36 0
  -10 36 -5 0
  46 8 42 0
  -38 -19 12 0
  50 37 45 0
  8 -46 12 0
  19 -33 26 0
  11 47 48 0
  3 45 34 0
  21 22 4 0
  -18 -31 8 0
  -1 9 -38 0
  -32 -35 -23 0
  -45 2 -24 0
  -45 36 -17 0
  11 -18 20 0
  23 48 -18 0
  37 -5 26 0
  38 29 -26 0
  8 -1 -27 0
  -14 -9 -45 0
  42 50 39 0
  -1 47 17 0
  -50 43 -29 0
  -17 -11 -36 0
  20 -48 43 0
  -6 -22 -19 0
  7 31 -26 0
  -23 -7 -2 0
  -48 37 22 0
  10 -19 48 0
  30 21 36 0
  31 -33 40 0
  -26 -45 43 0
  -13 24 -6 0
  -39 -25 -45 0
  -2 29 15 0
  -1 -34 -48 0
  11 -12 32 0
  -22 -1 -32 0
  -3 23 21 0
  42 -10 -47 0
  22 -47 33 0
  -6 48 31 0
  -45 -22 19 0
  -23 -1 -25 0
  12 -40 -42 0
  -8 -16 34 0
  -10 -41 19 0
  -9 -22 -41 0
  29 20 -40 0
  -36 -24 27 0
  -14 -40 37 0
  -18 -41 -12 0
  -5 39 10 0
  34 -45 -27 0
  -11 33 -13 0
  -8 23 34 0
  -15 36 -5 0
  14 26 -24 0
  30 -4 -33 0
  45 37 13 0
  -1 31 45 0
  49 39 -3 0
  28 46 -12 0
  -30 -19 33 0
  -31 32 -26 0
  38 35 42 0
  21 47 4 0
  11 -39 -19 0
  23 19 -3 0
  -18 35 -30 0
  -40 -10 -19 0
  -36 2 -24 0
  -12 36 24 0
  15 -30 -31 0
  -15 -2 -20 0
  -27 35 -1 0
  -23 -1 34 0
  31 -2 44 0
  -16 47 31 0
  -31 28 17 0
  -41 -48 46 0
  24 15 12 0
  15 -42 -3 0
  -9 11 -31 0
  5 -37 -22 0
  -33 27 -41 0
  39 -42 49 0
  2 12 -1 0
  39 28 6 0
  -14 -22 -48 0
  28 25 -11 0
  -2 -42 20 0
  9 -43 -30 0
  5 36 -27 0
  22 19 15 0
  -4 -32 -14 0
  2 26 -13 0
  10 19 -7 0
  -35 33 47 0
  -42 -23 19 0
  30 -40 1 0
  38 44 3 0
  14 -33 30 0
  11 25 -34 0
  -23 -44 -10 0
  -42 -21 25 0
  -44 21 50 0
  -8 39 -6 0
  39 -19 20 0
  9 -49 15 0
  -4 31 26 0
  -35 17 30 0
  8 20 43 0
  -8 44 -20 0
  48 -25 -44 0
  -18 -47 -15 0
  -2 -10 4 0
  -35 2 -36 0
  -28 -22 35 0
  -43 47 25 0
  -20 27 -14 0
  22 -49 -25 0
  37 45 27 0
  -42 -31 3 0
  31 -26 -28 0
  36 -10 -9 0
  42 1 -46 0
  -8 39 -34 0
  2 -44 24 0
  -7 -12 28 0
  -30 -14 -21 0
  -35 -25 1 0
  19 -48 -41 0
  45 -33 37 0
  -20 -43 30 0
  -8 -7 21 0
  -29 -9 20 0
  22 30 -48 0
  2 43 16 0
  49 9 -37 0
  -26 45 37 0
  -9 -2 25 0
  -45 4 32 0
  -23 -20 49 0
  -47 -38 -20 0
  26 -19 32 0
  28 -7 -6 0
  -4 29 41 0
  -43 -44 28 0
  3 28 -4 0
  -9 -37 15 0
  -44 -26 20 0
  -37 32 34 0
  35 10 -48 0
  -30 -3 7 0
  -30 34 4 0
  -8 18 28 0
  32 -3 37 0
  -19 14 -16 0
  -6 -17 1 0
  18 -26 22 0
  -20 -17 1 0
  -28 37 -42 0
  -11 29 9 0
  22 -10 -40 0
  40 -16 8 0
  -34 -46 24 0
  -39 20 43 0
  -26 -23 -37 0
  -8 -21 -1 0
  -29 -33 -14 0
  43 27 -37 0
  22 -50 49 0
  22 -6 -34 0
  -49 -48 -5 0
  49 23 29 0
  -3 1 49 0
  18 38 -10 0
  27 -23 -46 0
  -44 -30 -33 0
  45 -27 50 0
  -46 -42 8 0
  4 48 12 0
  -3 41 36 0
  -34 46 -16 0
  38 -2 -42 0
  7 -32 1 0
  9 42 17 0
  13 41 17 0
  9 -3 16 0
  40 29 -50 0
  8 1 -6 0
  -12 -21 -28 0
  48 6 -23 0
  -15 -28 32 0
  -39 19 38 0
  -38 -27 8 0
  29 46 -40 0
  39 -21 38 0
  40 -50 34 0
  %
  0
  
  