loading SCIP...
14 35546 true
0 8 10 23 39 48 58 69 70 72 76 82 96 99