loading SCIP...
16 31797 true
5 6 12 13 15 27 54 65 73 79 84 88 89 94 96 98