Add fst as an input to the solver