This code was verified, so what I didn't get?
public int getSumOfVar1AndVar2() {
    synchronized (this) {
        return var1 + var2;
    }
}

public int getSumOfVar3AndVar4() {
    synchronized (Solution.class) {
        return var3 + var4;
    }
}