#lang racket (require "solution.rkt")