SAT to Helico

TODO