SMT Burnup: Ahead of Schedule