CRACS/INESC TEC team comes 6th in Assemblathon