loading SCIP...
13 38594 true
3 15 16 19 22 32 40 41 50 81 86 97 99