Solve the following satisfiability problem. Allen, Booker, Chris, and Dennis all were born in the same year—one in January, one in February, one in March, and one in April. Chris was born before Dennis. Dennis was born two months after Booker. Booker was born after Allen, but before Chris. Find out who was born in each month.