loading SCIP...
11 38875 true
4 12 17 29 32 40 58 79 88 93 96