DMJ CEGAR PRINT