Add DRAT output