What are some fun starting projects if you want to learn Z3? Real-world problems you could solve in a few hours.

I'm doing a mob programming meetup and need some inspiration.