stuck on static problem
SAT fixed