Works with KATTIS now :)