K vs SF TCEC bug