loading SCIP...
16 32672 true
10 13 15 29 31 33 36 52 65 71 73 76 78 82 91 96