solve 'tiling2' (lacti)
solve 'tripathcnt' (lacti)