loading SCIP...
19 29797 true
7 8 9 13 15 22 24 30 48 54 59 71 81 86 89 91 92 96 99