Some improved formulations.
Some (mostly editorial) updates.
Added special Sudoku-instance.
Update (one instance now already provided).