15 - 13 ( 13 ) Prev <= 11 12 13