loading SCIP...
8 26375 true
18 21 44 53 80 87 90 92