Add Robert Haight as another solver