I have no satisfiablility built in: no level rating, no guarantee of uniqueness. It just makes sure the game constraints and the parameters passed are met. That being said, building satisfiability into would be a nice challenge. I would just need some ways to measure difficulty, etc.