dynamic.sat