I, for one, am really looking forward to seeing the projektirSolver in next year's SAT competition and the projektirNET in next year's ILSVRC!