loading SCIP...
19 31609 true
5 6 7 8 20 28 33 34 38 60 63 68 69 81 86 88 91 94 99