2677-LT-SAT