under solving p2.rkt