loading SCIP...
16 34016 true
5 6 19 28 35 36 48 63 65 68 69 73 77 80 90 93