I see. Is that a feature or a bug of solve that it returns a partially solved result?