2007 SMT/Algebra