Has solutions to HAMM and SUBS.