Edward A. Hirsch: SAT solvers and benchmarks Valid HTML 4.0!