Experimenting with combining BDDfy and Chill