Conditional: if + past simple, future simple
Solution 1:
These are fine.
The only rule governing time reference (which is not the same thing as morphological tense) in conditionals is that in actualization conditionals (If P happens, then Q happens), the sentence must be parseable as Q occurring after P. In inference conditionals (If P is true, then Q is true), there is no such rule.