Was this the right fold? The guys was 15/11/5. No reads

http://www.pokerhand.org/?969140