Oliver Kullmann's homepage
(and remarks to the SAT problem)


I moved to Swansea . Last modified: Sat Aug 4 23:23:38 BST 2001