loading SCIP...
12 38531 true
22 27 29 37 44 53 54 65 79 81 88 98