loading SCIP...
8 51296 true
24 48 57 59 68 86 89 91