"Devil's Dozen"@cs .