loading SCIP...
36 2922 true
4 9 10 11 12 13 16 20 24 26 27 30 31 35 36 37 39 44 46 48 59 63 68 70 73 75 76 79 82 86 87 88 90 91 93 98