The following equilibrium constants are given
N2+3H2⇌2NH3; K1
N2+O2⇌2NO; K2
H2+12O2⟶H2O; K3
The equilibrium constant for the oxidation of NH3 by oxygen to give NO is: