Oliver Kullmann's homepage
(and remarks to the SAT problem)
I moved to
Swansea
. Last modified: Sat Aug 4 23:23:38 BST 2001