loading SCIP...
31 9922 true
10 13 14 19 24 25 27 30 32 34 35 37 41 42 45 46 47 54 55 59 60 65 67 77 84 85 87 89 93 95 97