loading SCIP...
10 40563 true
23 25 43 55 56 59 77 79 81 93