AC-Schnitzer ACL2-BMW-m2 (5)