loading SCIP...
14 35328 true
12 29 36 38 57 60 63 67 68 69 73 74 79 81