$Ina0-1$ integer programming model, which $of$ the alternatives listed

below correctly models the following statement?

"There $isno$ chance for $x3tobe$ constructed unless you construct $x5."$

$x3x5$

$x3=x5$

$x3+x51$

$x3x5$

None $of$ the above