Forgot to print "S INDETERMINATE" as solution in case we early-abort

Thanks to Valentin Mayer-Eichberger for reporting this