fast.sat