loading SCIP...
16 32672 true
4 6 16 23 37 39 44 47 49 62 68 70 81 84 88 96