loading SCIP...
59 78 true
1 6 7 10 12 13 14 16 17 18 24 25 26 27 29 32 33 35 36 37 38 39 41 43 44 45 46 47 49 51 52 54 56 57 59 60 61 62 63 67 69 70 73 74 75 76 77 78 79 81 82 84 85 86 87 92 96 97 98