loading SCIP...
10 45282 true
5 9 10 15 35 36 73 75 84 90