loading SCIP...
10 30813 true
5 12 33 41 47 70 72 77 87 91