y now returned in the cone, better DIMACs error outputs