Oliver Kullmann's homepage
(and remarks to the SAT problem)
moved ---
click !
Last modified: Sun Aug 29 15:29:00 EDT 1999