loading SCIP...
11 36640 true
8 9 11 13 31 32 54 57 63 83 99