Create a12.rkt