loading SCIP...
10 40234 true
1 17 20 30 41 70 74 81 83 88