# My SAT stuff