SAT[1266]