loading SCIP...
10 30593 true
14 15 27 35 42 48 59 62 93 99