{"status":"ok","solver_backend":"stub","api_key_required":true}