Recall that EXPTIME is the set of all decision problems solvable in exponential time in the size n of the input, i$.$e$.$ by an algorithm with worst$-$case performance O$($kn$)$ for some constant k$.$ Prove that NP $<=$ EXPTIME.