debug p3
solve p12