inf3135-solution-labos