what4-1.2.1: test/responses/name.rsp

(:name "fancy solver #12")