loading SCIP...
8 52125 true
6 7 60 73 78 80 92 99