loading SCIP...
8 33453 true
4 9 13 24 25 45 66 83