declare-lab/SAT not found