42eb68361805b326b17c0f864d30f719 sane.uci