loading SCIP...
11 39781 true
5 8 9 17 25 39 44 48 59 83 97