loading SCIP...
41 1719 true
0 5 8 15 16 17 18 20 23 25 27 30 31 42 45 46 48 50 54 58 59 61 64 66 67 68 69 70 71 73 74 76 77 81 82 84 86 90 92 93 99