SDF Problem Derivation