rough-double-penetration (194.772)