loading SCIP...
10 37891 true
5 16 34 41 50 53 66 67 81 92