loading SCIP...
14 37875 true
7 16 40 45 48 52 56 59 70 80 84 86 96 98