Cdcl 008 Laurab Fixed ^hot^ Direct