loading SCIP...
22 23156 true
5 9 12 16 24 26 33 39 40 53 55 56 57 60 66 69 72 74 79 90 92 95