solve p64