Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT