loading SCIP...
24 19422 true
0 2 8 19 23 30 33 36 40 42 43 48 51 53 54 55 58 60 83 86 88 89 91 99