loading SCIP...
37 2469 true
4 8 9 12 15 18 20 30 31 34 38 39 40 41 44 46 51 52 53 57 60 62 65 67 69 73 74 77 80 81 82 83 86 89 95 96 98