Schöning-Game over