Lobsters: Solving Regex Crosswords with Z3