manca Solution::repair()