loading SCIP...
12 36969 true
3 11 16 27 32 54 62 63 72 74 84 89