SAT[4592]