loading SCIP...
10 46391 true
3 12 15 41 59 63 77 79 83 85