loading SCIP...
15 34250 true
0 2 8 10 18 40 58 59 62 67 78 85 91 95 97