"use \`satisfiable\`." And put a period at the end.