rough-double-penetration (139.850)