recursion.sat