The proof prompts do say to spend at least 8 hours.