The Field Solver can solve for board parameters given a nominal impedance value.
Enter the given board dimensions in their associated fields and the nominal impedance value in the Impedance field and click the Calculate button against the unknown dimension, e.g. Substrate 1 Height, Trace Width, etc.