A sudoko solver in common lisp