Fix formatting of no-solution-found message.