Write a program that solve the mutilated checkerboard problem for a 4x4 checkerboard. The program should read in the "blocked" positions. The program needs to create an input into Microsoft Z3 which tells you if theres a way to place the dominoes on the checkerboard so all the unblocked posotions are covered, all blocked positions are not coveredm and you are not allowed to have more than one domino on a position.