loading SCIP...
14 36532 true
5 13 16 18 29 34 37 38 46 59 61 67 74 78