loading SCIP...
12 38375 true
1 4 8 12 20 24 58 75 79 81 95 99