loading SCIP...
11 45750 true
1 9 13 18 28 36 41 64 76 81 92