Improved solving speed for p23 a tiny bit