then verification can clearly be done in polynomial time by a deterministic turing machine wigeze wubaka inzu however due to the defenders strong and resolute defense the city remain defiant