loading SCIP...
52 78 true
1 6 7 9 12 13 16 20 25 26 27 29 30 32 34 36 39 40 42 43 44 45 46 47 48 53 54 55 56 58 59 60 62 64 65 66 67 70 71 73 74 75 76 81 82 84 89 90 92 95 97 98