loading SCIP... 16 35828 true 1 2 8 13 15 29 42 48 54 55 59 60 71 90 93 95