A pyhton sodoku solver