loading SCIP...
16 36422 true
7 15 16 19 24 27 29 30 48 50 59 68 71 76 87 95