Do we have the pseudoknot program in our benchmarks? http://www.ecs.soton.ac.uk/publications/rj/1995-1996/decsys/phh/hartel2.htm