FLL-SAT