sat functions