Left Unrecognized response from solver:
  bad :reason-unknown value
in response to command:
  reason?