loading SCIP...
11 48532 true
8 15 34 36 44 52 54 63 67 82 83