loading SCIP...
13 37828 true
5 21 27 29 32 35 38 47 60 67 76 78 95