Consider the following grammar:

S $->$ cABd$/$ Bac

A $->$ Bcd$/$ aab

B$->$ ac$/$ dA$/$ bd

Verify whether the string bdac is derived or not using backtracking approach$($BRUTE$-$FORCE$).$