derive.sat