loading SCIP...
16 32437 true
14 17 19 20 23 25 26 28 30 35 36 37 49 61 63 99