Bacchus DUKE-CTM schwarz S N: GI10294