loading SCIP...
11 44719 true
0 9 19 35 40 52 59 77 90 93 97