loading SCIP... 9 50687 true 17 19 28 35 44 52 55 82 89