Added a brute-force solution for p13