Cdcl: Laurab High Quality