42eb68361805b326b17c0f864d30f719  sane.uci