loading SCIP...
21 22531 true
5 9 18 21 24 35 39 40 45 53 55 63 64 69 72 75 76 80 81 87 96