loading SCIP...
10 45296 true
5 11 14 20 22 30 41 52 90 92