loading SCIP...
13 36281 true
5 13 17 24 26 34 41 47 60 67 72 85 98