loading SCIP...
20 27313 true
11 12 14 15 18 24 29 33 34 48 51 53 64 70 71 78 83 84 94 96