BDD 인자 이름 바뀌면서 바뀌어야할 구현도 수정
bdd를 nqueen으로 푸는 예제. 역시 느리다.