Submissions for team The Debuggera on problem piezoelectric_main