loading SCIP...
12 39782 true
27 36 38 44 45 52 54 55 68 80 84 88