loading SCIP...
17 28172 true
0 4 10 12 16 17 21 28 46 51 52 56 66 80 84 88 90