loading SCIP...
27 14453 true
4 11 16 26 30 33 40 46 48 49 52 53 58 59 60 67 70 72 73 77 78 82 84 87 93 94 99