2582-SAT