MNT to SAT