Sodoku solver