tiny tweak to get P12 to solve