loading SCIP...
10 44734 true
20 25 26 27 39 72 74 77 92 95