loading SCIP...
16 35437 true
1 4 10 11 14 17 70 72 76 78 81 87 88 90 92 97