still deadlock situation at k=14