loading SCIP...
15 35157 true
20 32 34 40 47 57 61 65 67 69 72 73 78 85 89