Fix SAT competition links