loading SCIP...
12 41078 true
14 18 19 20 23 26 29 33 53 66 73 99