Elementary Knightship (in Conway's Game of Life)

People have been looking for one of these for decades. Guess Moore's Law (and SAT solvers) have finally caught up to this problem!

Explanation of Knightships, http://conwaylife.com/w/index.php?title=Types_of_spaceships#...