loading SCIP...
10 45812 true
1 5 10 11 22 27 66 73 86 99