loading SCIP...
12 38453 true
11 12 17 20 26 47 51 55 62 73 82 92