loading SCIP...
11 42312 true
5 13 15 17 22 36 60 76 80 84 90