Probably should add an upper bound on text to prevent the solver from choosing new versions of text.
Probably should add an upper bound on text to prevent the solver from choosing new versions of text.