Return the solution whenever possible
Print solver banner