Added SAT in linear time and photo of Paun to the poster