{"task": {"agent_timeout": 600, "task": "omnimath_4291", "verifier_timeout": 60, "instruction": "# Mathematical Problem\n\nIn Vila Par, all the truth coins weigh an even quantity of grams and the false coins weigh an odd quantity of grams. The eletronic device only gives the parity of the weight of a set of coins. If there are $2020$ truth coins and $2$ false coins, determine the least $k$, such that, there exists a strategy that allows to identify the two false coins using the eletronic device, at most, $k$ times.\n\n## Instructions\n\nSolve the mathematical problem above and write your final answer to `/workspace/answer.txt`.\n\n**Important**: Write only your final answer to the file, not the full solution process.\n\n### Guidelines\n\n- Provide your final numerical answer or mathematical expression\n- Write the answer as plain text (no special formatting needed)\n- Be precise and clear in your answer\n- The answer should directly respond to what the problem asks for\n\n### Example\n\nIf the problem asks \"What is 2 + 2?\", your answer file should contain:\n\n```\n4\n```\n\nYour answer will be evaluated against the correct solution using an automated grading system.\n", "memory": "", "runnable": false, "difficulty": "hard", "language": "", "cpus": "", "instruction_truncated": false, "category": "math", "compose": false, "has_solution": true, "oracle": null, "docker_image": "", "taskset": "omnimath", "tags": ["omni-math"]}, "runs": []}