loading SCIP...
14 35375 true
1 5 6 9 13 24 27 29 35 45 48 50 51 59