Submissions for team Logic Legends on problem piezoelectric_main