rough-double-penetration (143.557)