The SMT Step-by-Step Collection 2006