loading SCIP...
15 36953 true
0 2 3 10 12 15 16 19 30 50 53 67 78 84 99