[smt88]

Layoff numbers are imprecise and somewhat arbitrary, so any number that isn't divisible by 10 is probably intentionally chosen to seem less arbitrary.