FSMIC-SAT