Just trying to crack SAT somehow.