法.sat