loading SCIP...
11 25625 true
15 18 29 37 51 52 59 65 67 89 95