Added future plans + some other SAT instances