solver for large hidokus and few given numbers implemented
solver for few variables implemented