MDLUL/erfüllbar