SAT[2473]