loading SCIP...
17 32656 true
15 18 21 26 30 33 36 37 44 55 60 76 79 86 87 92 98