Satisf-AI: A Route to Reducing Risks From AI — LessWrong