facts:
Faits :
A.
Par jugement du 18 décembre 2015, le Tribunal correctionnel genevois a reconnu Y._ coupable de tentative de meurtre. Il l'a condamné à une peine privative de liberté de trois ans, sous déduction de la détention subie, dont 18 mois avec sursis durant trois ans, ainsi qu'au paiement à A._ d'une somme de 10'000 fr. à titre de réparation du tort moral. Une mesure de traitement ambulatoire médical et/ou psychothérapeutique a été prononcée pour traiter son addiction à l'alcool. X._ a été acquitté du même chef d'accusation et de celui, subsidiaire, d'omission de prêter secours, sa libération immédiate ayant été ordonnée. L'Etat de Genève a été condamné à lui verser les sommes de 47'800 fr. et 7'710 fr. à titre d'indemnisation de la détention subie à tort, d'une part, et dans des conditions illicites, d'autre part.
B.
Par ordonnance du 27 avril 2016, la Cour de justice de la République et canton de Genève, Chambre d'appel et de révision, a déclaré irrecevable l'appel principal du Ministère public du 1er février 2016, faute d'annonce d'appel. Elle a déclaré irrecevable l'appel de A._ en tant que ses conclusions portaient sur la peine. Elle a déclaré recevable l'appel joint du Ministère public.
Le 19 juillet 2016, statuant sur appels principaux de X._ et de A._ ainsi que sur appel joint du Ministère public, la cour cantonale a rejeté le premier et partiellement admis les seconds. Elle a relevé la peine prononcée contre Y._ à quatre ans de peine privative de liberté, sous déduction de la détention subie. Elle a reconnu X._ coupable de tentative de meurtre et l'a condamné à une peine privative de liberté de trois ans et neuf mois, sous déduction de la détention subie. Elle a condamné ces derniers à payer, conjointement et solidairement, 10'000 fr., plus intérêts à 5% dès le 19 août 2014 à A._ à titre de réparation du tort moral ainsi qu'au paiement des frais de procédure de première instance.
L'arrêt cantonal se fonde en substance sur les faits suivants.
Le 19 août 2014 vers 2h00, après une soirée alcoolisée dans un restaurant, A._ s'est rendu à son domicile en taxi. Egalement présents à la soirée, Y._, au volant de son véhicule, accompagné de X._ ont poursuivi le taxi. A destination, Y._ est sorti du véhicule, a échangé quelque mots avec A._, puis lui a asséné plusieurs coups de couteau tandis que X._ immobilisait ce dernier en lui tenant les bras en arrière. Selon le constat de lésions traumatiques du 29 août 2014, A._ présentait, à son arrivée aux urgences, notamment six blessures, dont une au niveau de la région thoracique, d'environ 4 cm de profondeur, qui avait perforé le péricarde et une partie de la paroi antérieure du ventricule droit du coeur et nécessité une intervention chirurgicale en urgence. Sa vie avait été concrètement mise en danger.
C.
Y._ forme un recours en matière pénale auprès du Tribunal fédéral contre l'arrêt cantonal et conclut, principalement, avec suite de frais et dépens, à son annulation, et notamment à ce que l'appel joint du Ministère public soit déclaré irrecevable. Subsidiairement, il conclut à la confirmation du jugement de première instance, plus subsidiairement, au renvoi de la cause à la cour cantonale. Il sollicite en outre l'octroi de l'assistance judiciaire et de l'effet suspensif.
X._ forme également un recours en matière pénale auprès du Tribunal fédéral contre l'arrêt cantonal. Il conclut, avec suite de frais et dépens, à sa réforme en ce sens qu'il est acquitté, que les montants de respectivement 95'800 fr. et 51'400 fr. lui sont versés à titre d'indemnité en réparation du tort moral pour 479 jours de détention injustifiée (art. 429 al. 1 let. c CPP) et pour 257 jours de détention subie dans des conditions inhumaines et dégradantes (<ref-law>). Subsidiairement, il conclut à une diminution de sa peine sur la base de l'<ref-law>. Plus subsidiairement, il requiert le renvoi de la cause à la cour cantonale pour nouvelle décision. Il sollicite en outre l'octroi de l'assistance judiciaire.
Invités à se déterminer, le Ministère public et la cour cantonale ne se sont pas exprimés dans le délai imparti s'agissant du recours de X._. S'agissant de celui de Y._, les autorités précédentes se sont rapportées à l'arrêt entrepris.

considerations:
Considérant en droit :
1.
Les deux recours sont dirigés contre la même décision, concernent le même complexe de faits et portent sur certaines questions de droit qui se recoupent. Il y a lieu de joindre les causes et de les traiter dans un seul arrêt (<ref-law> et 71 LTF).
I. Recours de Y._ (recourant 1)
2.
Le recourant 1 estime qu'en admettant l'appel joint du Ministère public s'agissant de la quotité de sa peine, alors même qu'il n'avait pas formé appel, la cour cantonale a violé l'interdiction de la reformatio in pejuset omis le caractère accessoire de l'appel joint.
2.1.
2.1.1. Aux termes de l'<ref-law>, la direction de la procédure transmet sans délai une copie de la déclaration d'appel aux autres parties (al. 2). Dans les 20 jours à compter de la réception de la déclaration d'appel, ces parties peuvent, par écrit, déclarer un appel joint (al. 3 let. b).
L'<ref-law> prévoit que l'art. 399 al. 3 et 4, s'applique par analogie à l'appel joint (al. 1); l'appel joint n'est pas limité à l'appel principal, sauf si celui-ci porte exclusivement sur les conclusions civiles du jugement (al. 2); si l'appel principal est retiré ou fait l'objet d'une décision de non-entrée en matière, l'appel joint est caduc (al. 3).
D'après l'<ref-law>, la juridiction d'appel ne peut modifier une décision au détriment du prévenu ou du condamné si le recours a été interjeté uniquement en leur faveur (1ère phrase). Elle peut toutefois infliger une sanction plus sévère à la lumière de faits nouveaux qui ne pouvaient pas être connus du tribunal de première instance (2ème phrase). L'existence d'une reformatio in pejus doit être examinée à l'aune du dispositif (<ref-ruling> consid. 4.5 p. 136; <ref-ruling> consid. 2.7.3 p. 140).
2.1.2. Dans un arrêt publié aux <ref-ruling>, le Tribunal fédéral a retenu, en substance, que, quand bien même l'appel joint n'est pas lié à l'appel principal, son caractère accessoire impose toutefois de prendre en compte quelles parties sont aux prises et justifie une délimitation par rapport aux parties concernées. Lorsque l'appel principal émane d'une partie plaignante, le cadre dans lequel l'appel joint est possible sur le plan pénal se détermine en considération des infractions par lesquelles la partie plaignante est directement lésée (cf. <ref-law>). Les parties concernées par l'appel principal sont ainsi définies et l'appel joint doit se situer dans ce cadre (consid. 2.3 p. 95 s.).
Le Tribunal fédéral a relevé que, selon un courant de doctrine, si un seul prévenu forme appel, le ministère public ne saurait alors interjeter un appel joint pour s'en prendre aux autres coprévenus qui n'ont eux-mêmes pas entrepris d'appel, sous peine de méconnaître le caractère accessoire de l'appel joint et de contourner l'interdiction de la reformatio in pejus (<ref-ruling> consid. 2.2 p. 95 et les références citées). Il n'a toutefois pas tranché la question. Dans ce même arrêt, le Tribunal fédéral rappelle que le ministère public est responsable de l'action publique (cf. <ref-law>) et qu'il lui incombe à ce titre de former un appel principal s'il n'est pas satisfait du jugement de première instance (<ref-ruling> consid. 2.3 p. 96).
Ces principes sont repris dans l'arrêt publié aux <ref-ruling>, à teneur duquel, lorsque le prévenu conteste dans un appel principal la peine infligée par rapport à des infractions concernant la partie plaignante, celle-ci est habilitée à former un appel joint sur d'autres aspects du jugement attaqué, en particulier les conclusions civiles (consid. 1.2 p. 236 s.).
2.2. En l'occurrence, contrairement à la victime et au coprévenu, le recourant 1 n'a pas formé d'appel contre le jugement de première instance. Le Ministère public a certes adressé une déclaration d'appel auprès de la cour cantonale, concluant notamment à ce que le recourant 1 soit condamné à une peine privative de liberté de cinq ans, il a toutefois omis d'annoncer l'appel, de sorte que son appel principal a été déclaré irrecevable. Les conclusions de la partie plaignante portant sur la peine ont également été déclarées irrecevables.
La portée de l'appel joint doit être délimitée par rapport aux parties concernées, à savoir, en l'espèce, le coprévenu et la victime. Certes l'appel de la victime visait les deux coprévenus (notamment qualification juridique différente et augmentation de l'indemnité pour tort moral), elle n'avait toutefois pas la qualité pour contester la peine (cf. <ref-law>). Dès lors que l'appel joint devait se situer dans ce cadre, le Ministère public ne pouvait pas s'en prendre à la peine du recourant 1 par la voie de l'appel joint alors même qu'il n'a pas formé d'appel principal recevable. L'appel formé par la partie plaignante s'agissant de la participation du coprévenu à l'acte incriminé, ne permet pas au Ministère public d'attraire le recourant 1 à la procédure pour revoir sa peine, ce d'autant qu'il n'a pas conclu à une qualification juridique plus grave (arrêt entrepris, consid. a.c p. 3 et 2.4.3 p. 22). En déclarant recevables les conclusions du Ministère public dirigées contre le recourant 1, au motif que son appel joint concernait les mêmes parties et portait sur les infractions à l'origine de la qualité de lésée de la victime, la cour cantonale a méconnu les principes tirés de la jurisprudence exposée supraet a violé le droit fédéral.
3.
Le recours de Y._ doit être admis. L'arrêt entrepris doit être annulé en ce qui concerne la peine du recourant 1 et la cause renvoyée à la cour cantonale pour qu'elle déclare l'appel joint du Ministère public irrecevable et confirme la peine fixée en première instance. Dans la mesure où le recourant 1 obtient gain de cause, sa demande d'assistance judiciaire est sans objet. Il est statué sans frais (art. 66 al. 1, 2ème phrase et al. 4 LTF). Le recourant 1 obtiendra des dépens de la part du canton de Genève (<ref-law>). La cause étant jugée, la requête d'effet suspensif devient sans objet.
II. Recours de X._ (recourant 2)
4.
Le recourant 2 conteste s'être rendu coupable de tentative de meurtre. Il prétend ne pas avoir participé à la bagarre et n'avoir eu aucune intention meurtrière. Il s'en prend à l'établissement des faits et à l'appréciation des preuves et invoque une violation du principe " in dubio pro reo ".
4.1. Le Tribunal fédéral n'est pas une autorité d'appel, auprès de laquelle les faits pourraient être rediscutés librement. Il est lié par les constatations de fait de la décision entreprise (<ref-law>), à moins qu'elles n'aient été établies en violation du droit ou de manière manifestement inexacte au sens des art. 97 al. 1 et 105 al. 2 LTF, à savoir, pour l'essentiel de façon arbitraire au sens de l'art. 9 Cst. Une décision n'est pas arbitraire du seul fait qu'elle apparaît discutable ou même critiquable; il faut qu'elle soit manifestement insoutenable, et cela non seulement dans sa motivation mais aussi dans son résultat (<ref-ruling> consid. 1.2 pp. 308 s.). En matière d'appréciation des preuves et d'établissement des faits, il n'y a arbitraire que lorsque l'autorité ne prend pas en compte, sans aucune raison sérieuse, un élément de preuve propre à modifier la décision, lorsqu'elle se trompe manifestement sur son sens et sa portée, ou encore lorsque, en se fondant sur les éléments recueillis, elle en tire des constatations insoutenables (<ref-ruling> consid. 2.3 p. 266 et les références citées). Le Tribunal fédéral n'entre ainsi pas en matière sur les critiques de nature appellatoire (<ref-ruling> consid. 2.4 p. 368).
La présomption d'innocence, garantie par les art. 6 par. 2 CEDH, 32 al. 1 Cst. et 10 CPP, ainsi que son corollaire le principe " in dubio pro reo ", concernent tant le fardeau de la preuve que l'appréciation des preuves. Lorsque l'appréciation des preuves et la constatation des faits sont critiquées en référence au principe " in dubio pro reo ", celui-ci n'a pas de portée plus large que l'interdiction de l'arbitraire (<ref-ruling> consid. 7 p. 82).
Lorsque l'autorité cantonale a forgé sa conviction quant aux faits sur la base d'un ensemble d'éléments ou d'indices convergents, il ne suffit pas que l'un ou l'autre de ceux-ci, ou même chacun d'eux pris isolément, soit à lui seul insuffisant. L'appréciation des preuves doit être examinée dans son ensemble. Il n'y a ainsi pas d'arbitraire si l'état de fait retenu pouvait être déduit de manière soutenable du rapprochement de divers éléments ou indices. De même, il n'y a pas d'arbitraire du seul fait qu'un ou plusieurs arguments corroboratifs sont fragiles, si la solution retenue peut être justifiée de façon soutenable par un ou plusieurs arguments de nature à emporter la conviction. (arrêts 6B_145/2016 du 23 novembre 2016 consid. 1.1; 6B_275/2015 du 22 juin 2016 consid. 2.1).
4.2. S'agissant du rôle du recourant 2 dans la bagarre, la cour cantonale a retenu que le récit de la victime, constant, plausible et corroboré par différents éléments du dossier, était hautement crédible, tandis que celui du recourant 2 n'emportait pas conviction.
En substance, la cour cantonale a considéré que la victime était constante et crédible lorsqu'elle évoquait la participation du recourant 2 dans la bagarre, qu'elle a tout au long de la procédure identifié comme étant celui qui lui avait tenu les mains dans le dos, sans raison de le dénoncer à tort. Dans la mesure où la victime n'avait pas de raison de se préoccuper du trajet en taxi ainsi que de la discussion préalable à l'attaque, le flou dans ses souvenirs sur ces aspects ne rendaient pas ses déclarations peu probantes. L'agression elle-même, par surprise, avait en revanche tout lieu de lui rester en mémoire vu le choc, et d'effacer les instants précédant la bagarre. La victime avait déclaré, dès sa première audition, que ses deux agresseurs cherchaient quelque chose au sol juste avant de fuir. La découverte de la lame de couteau sur les lieux corroborait ce récit. Se fondant sur l'avis de l'expert médical, selon lequel un individu attaqué avait le réflexe de se défendre, notamment en plaçant ses mains devant lui, la cour cantonale a considéré que l'absence de lésions de défense pouvait constituer un indice supplémentaire d'une attaque perpétrée par deux individus.
Le recourant 2 prétendait dans un premier temps n'avoir aucun souvenir des événements en raison de son alcoolémie puis avait modifié ses déclarations en indiquant d'abord que, depuis la voiture, il avait vu son comparse frapper la victime, et était reparti alors que la victime, ensanglantée, gisait à terre. Par la suite, à l'audience de jugement il a déclaré que la victime n'était pas tombée à terre.
D'après les témoins, le véhicule conduit par les comparses avait démarré brusquement à la suite du taxi et l'avait véritablement pourchassé. En outre, le recourant 2 avait indiqué à son patron s'être bagarré avec la victime. Ces témoignages démontraient son implication dans l'attaque. Par ailleurs, le témoin B._, appelé par le recourant 2 après l'agression pour qu'il le rejoigne ainsi que son comparse, avait constaté qu'ils rigolaient comme des fous.
S'agissant de l'intention du recourant 2, la cour cantonale a notamment mis en évidence la présence équivoque des comparses dans la cuisine du restaurant dans la soirée, la poursuite du taxi, la recherche d'un objet par terre après les coups portés ainsi que le comportement du recourant 2 après l'agression, pour retenir que ce dernier savait et avait pleinement accepté que son comparse attaque la victime à l'aide d'un couteau. S'il n'avait pas voulu une issue fatale, il en avait accepté l'éventualité en la tenant par les bras.
En définitive, la cour cantonale a reconnu le recourant 2 coupable, comme coauteur, de tentative de meurtre par dol éventuel.
4.3. Pour l'essentiel, le recourant 2 tente d'imposer son appréciation des preuves en rediscutant les divers éléments et déclarations, sans démontrer en quoi la cour cantonale aurait établi les faits de manière insoutenable. Il isole chaque élément et indice examiné par la cour cantonale et y oppose, en grande partie, une appréciation personnelle. Cette démarche est appellatoire, partant irrecevable.
S'agissant en particulier des déclarations de la victime, la cour cantonale a relevé les quelques incohérences relatives à la période qui a précédé l'agression (trajet en taxi; rencontre) et a expliqué en quoi elles n'influençaient pas la crédibilité du récit de l'attaque en tant que telle. Dans la mesure où le recourant 2 ne tente pas de démontrer en quoi il serait insoutenable de retenir la version des faits de la victime sur ce point, son grief doit être écarté. Le fait que la victime aurait déclaré une première fois que le recourant 2 l'avait " ceinturé depuis l'arrière ", puis " tenu les mains dans le dos " ou aurait également " appuyé avec son genou ", n'est pas apte à rendre arbitraire l'appréciation selon laquelle les déclarations étaient constantes et crédibles s'agissant de l'immobilisation des bras.
Le recourant 2 tente en vain de justifier les contradictions relevées dans son propre discours, en décrivant, de manière purement appellatoire, sa situation personnelle et en relevant des similitudes avec certains témoignages, sur des éléments de fait qui ne sont pas discutés ni pertinents. Il livre également une interprétation personnelle de certaines déclarations de parties.
Expliquer l'absence de lésions de défense par l'état d'alcoolisation de la victime au moment des faits relève d'un procédé purement appellatoire, partant irrecevable. Au demeurant, la cour cantonale pouvait, sans arbitraire, considérer, compte tenu de la nature de l'attaque et sur la base de l'avis de l'expert, que la victime se serait protégée à l'aide de ses mains si elle avait pu. L'absence de marques constatées aux poignets ne rend pas cette appréciation insoutenable. Cela n'exclut pas que la victime se soit débattue dans la mesure où il n'est pas établi que le recourant 2 tenait la victime par les poignets. En tout état, le réflexe de protection contre un coup de couteau dans la poitrine se distingue de l'action de se débattre pour échapper à une immobilisation.
Par ailleurs, le recourant 2 tente de justifier son comportement postérieur à la bagarre en procédant à une appréciation personnelle des événements, de manière appellatoire, partant irrecevable. Il isole en outre certains passages de témoignages en retenant ceux en sa faveur.
Enfin, en se contentant d'affirmer que certains éléments retenus (poursuite du taxi; recherche de la lame de couteau; indifférence sur l'état de la victime) et appréciés comme un tout par la cour cantonale, ne suffiraient pas en soi pour fonder son intention, le recourant échoue à démontrer l'arbitraire de l'appréciation cantonale sur ce point (déterminer ce que l'auteur a su, cru ou voulu relève des faits, cf. <ref-ruling> consid. 2.4.3 p. 343).
En définitive, son grief est rejeté dans la mesure où il est recevable.
5.
Le recourant 2 soutient qu'une indemnisation doit lui être allouée du fait de son acquittement, sur la base de l'art. 429 al. 1 let. c CPP, respectivement de l'<ref-law>. Au vu du considérant précédent, ses arguments sont irrecevables.
6.
Dans un dernier grief, le recourant 2 conteste sa peine. Il fait valoir un défaut de motivation quant à la proportion dans laquelle la peine a été diminuée.
6.1. Les règles générales régissant la fixation de la peine (<ref-law>) ont été rappelées dans les arrêts publiés aux <ref-ruling> et 136 IV 55, auxquels on peut se référer.
6.1.1. S'agissant de coauteurs jugés dans une seule procédure, l'appréciation subjective de la culpabilité et de la situation personnelle de chacun peut justifier des peines différentes pour des mêmes actes. Toutefois, la juste proportion des peines des coauteurs doit être prise en compte comme élément dans l'appréciation de la peine (<ref-ruling> consid. 3.2 p. 193 ss).
6.1.2. Aux termes de l'<ref-law>, si le prévenu a, de manière illicite, fait l'objet de mesures de contrainte, l'autorité pénale lui alloue une juste indemnité et réparation du tort moral. Il appartient à l'autorité de jugement d'examiner les possibles conséquences des violations constatées, par exemple par le biais d'une indemnisation fondée sur l'<ref-law> ou, cas échéant, par une réduction de la peine (<ref-ruling> consid. 4.1 et 4. 3 p. 248 s. et les références citées; <ref-ruling> consid. 2.1 p. 352 s.).
S'agissant du mode et de l'étendue de l'indemnisation fondée sur les <ref-law>, il n'est pas exclu de s'inspirer des règles générales des <ref-law>. Ces dispositions accordent au juge un large pouvoir d'appréciation, que le Tribunal fédéral ne revoit qu'avec retenue. En vertu de l'<ref-law>, une réparation en nature n'est pas exclue (<ref-ruling> consid. 4.1 et 4.3 p. 248 s. et les références citées). L'ampleur de la réparation dépend avant tout de l'appréciation concrète des circonstances particulières de l'espèce, en particulier de la gravité des souffrances physiques ou psychiques consécutives à l'atteinte subie (arrêt 6B_137/2016 du 1er décembre 2016 consid. 2.2; cf. sur la réparation financière, <ref-ruling> consid. 2.2.2 p. 309 s.).
6.2. La cour cantonale a examiné les critères de fixation de la peine pour les deux prévenus et a jugé qu'une peine équivalente devait être prononcée, en l'occurrence, une peine privative de liberté de quatre ans. Or, vu l'issue du recours du coprévenu et son impact sur sa peine (cf. supra consid. 3), la motivation relative à la peine du recourant 2 tombe à faux.
Afin de tenir compte des conditions de détention illicites subies par le recourant 2 en détention provisoire (257 jours), la cour cantonale a réduit la peine de trois mois. Ce faisant, elle s'est référée à des affaires cantonales soulevant des questions identiques mais a omis de se prononcer sur la nature et la gravité des souffrances du recourant en l'espèce.
Faute de toute motivation sur la réduction de la peine, le recours doit être admis sur ce point. La cause doit être renvoyée à la cour cantonale afin qu'elle fixe la peine en tenant compte des principes exposés supraet de la peine prononcée contre le coprévenu. Elle motivera également l'étendue de la réduction de peine déduite de l'<ref-law>.
7.
Le recours de X._ doit être partiellement admis, l'arrêt annulé s'agissant de la peine et la cause renvoyée à la cour cantonale pour nouvelle décision dans le sens des considérants. Pour le surplus, le recours doit être rejeté dans la mesure où il est recevable. Dans la mesure où le recourant obtient partiellement gain de cause, sa demande d'assistance judiciaire est sans objet, elle est rejetée pour le surplus, faute de chance de succès du recours (<ref-law>). Une partie des frais sera ainsi supportée par le recourant, dont le montant sera toutefois fixé en tenant compte de sa situation financière (art. 65 al. 2 et art. 66 al. 1 LTF). Le recourant obtiendra des dépens réduits de la part de la République et canton de Genève (<ref-law>).

rulings:
Par ces motifs, le Tribunal fédéral prononce :
1.
Les causes 6B_1021/2016 et 6B_1057/2016 sont jointes.
2.
Le recours de Y._ (6B_1057/2016) est admis, l'arrêt cantonal annulé s'agissant de la peine et la cause est renvoyée à la cour cantonale pour nouvelle décision.
3.
Il n'est pas perçu de frais judiciaires pour la cause 6B_1057/2016.
4.
Le canton de Genève versera au conseil du recourant Y._ une indemnité de 3'000 fr. à titre de dépens pour la procédure 6B_1057/2016 devant le Tribunal fédéral.
5.
Le recours de X._ (6B_1021/2016) est partiellement admis. L'arrêt cantonal est annulé s'agissant de la peine et la cause est renvoyée à la cour cantonale pour nouvelle décision. Pour le surplus, le recours est rejeté, dans la mesure de sa recevabilité.
6.
La requête d'assistance judiciaire formulée par le recourant X._ est rejetée dans la mesure où elle n'est pas sans objet.
7.
Des frais judiciaires réduits pour la procédure 6B_1021/2016, arrêtés à 600 fr., sont mis à la charge du recourant X._.
8.
Le canton de Genève versera au conseil du recourant X._ une indemnité de 1'000 fr. à titre de dépens réduits pour la procédure 6B_1021/2016 devant le Tribunal fédéral.
9.
Le présent arrêt est communiqué aux parties et à la Cour de justice de la République et canton de Genève, Chambre pénale d'appel et de révision.
Lausanne, le 20 septembre 2017
Au nom de la Cour de droit pénal
du Tribunal fédéral suisse
Le Président : Denys
La Greffière : Klinke


considerations:
Visto:
il giudizio del 10 luglio 2017 con il quale il Tribunale amministrativo federale, III Corte, ha respinto la domanda di A._ del 19 aprile 2017 "intesa quale domanda di restituzione del termine per il versamento dell'anticipo a copertura delle presumibili spese processuali" nella procedura di ricorso da lui promossa l'11 novembre 2016 contro la decisione del 28 settembre 2016, con cui l'Ufficio dell'assicurazione per l'invalidità per gli assicurati residenti all'estero (UAIE) aveva respinto la sua domanda di rendita AI,
il ricorso del 19 agosto 2017 (timbro postale) di A._ al Tribunale federale,
lo scritto del 23 settembre 2017 (timbro postale) con il quale il ricorrente trasmette documentazione valetudinaria,
considerando:
che per l'art. 42 cpv. 1 e 2 LTF il ricorso, per essere ammissibile, deve contenere, tra l'altro, le conclusioni, i motivi e l'indicazione dei mezzi di prova e spiegare in modo conciso perché l'atto impugnato violerebbe il diritto (art. 95 e 96 LTF; <ref-ruling> consid. 4.1.2 pag. 62) o conterrebbe accertamenti manifestamente inesatti (<ref-law>),
che pur non dovendo essere necessariamente corretta, la motivazione deve in ogni modo essere riferita al tema della causa (cfr. <ref-ruling> consid. 1a pag. 336 con riferimenti),
che oggetto dinanzi al Tribunale amministrativo federale era la - implicita - domanda di restituzione del termine per effettuare il pagamento dell'importo di fr. 800.- quale anticipo delle presumibili spese processuali nella causa C_7245/2016, assegnato con decisione incidentale il 14 febbraio 2017, scadente il 22 marzo 2017 ed effettuato dalla nipote del ricorrente in ritardo (incontestato che il versamento è pervenuto a Post Finance in Svizzera a favore del Tribunale federale amministrativo solo il 4 aprile 2017),
che il Tribunale amministrativo federale, vagliata la documentazione agli atti, ha accertato l'assenza di impedimenti - senza colpa del ricorrente, rispettivamente della nipote - ad agire nel termine impartito, concludendo per la reiezione dell'istanza di restituzione del termine per il pagamento dell'anticipo spese,
che nel ricorso il ricorrente si limita a evidenziare che, essendo sprovvisto dei mezzi di sopravvivenza, il pagamento - tardivo - era stato effettuato da una sua nipote, ponendo invece l'accento del gravame sul suo preteso diritto a una rendita d'invalidità completa,
che pertanto il ricorrente non si confronta minimamente con il tema oggetto della lite,
che neppure sorregge il ricorrente la nuova documentazione valetudinaria trasmessa il 23 settembre 2017, in quanto inammissibile perché inoltrata dopo il termine di ricorso, scadente il 14 settembre 2017,
che pertanto in considerazione dell'assenza di un'argomentazione topica che si confronti con l'esposizione delle ragioni del giudizio impugnato, il ricorso non soddisfa in tutta evidenza le esigenze formali di motivazione suesposte,
che, statuendo secondo la procedura semplificata di cui all'<ref-law>, il ricorso deve di conseguenza essere dichiarato inammissibile,
che, viste le peculiarità del caso, si prescinde dal caricare le spese giudiziarie alla parte soccombente (art. 66 cpv. 1 seconda frase LTF),

rulings:
per questi motivi, la Presidente pronuncia:
1.
Il ricorso è inammissibile.
2.
Non si prelevano spese giudiziarie.
3.
Comunicazione alle parti, al Tribunale amministrativo federale, Corte III, e all'Ufficio federale delle assicurazioni sociali.

region: Federation


facts:
Sachverhalt:
A.
Auf dem Grundstück Nr. www des Grundbuchs der Gemeinde U._ steht ein Mehrfamilienhaus mit den Adressen V._-Strasse Nr. xxx, yyy und zzz. Es besteht Stockwerkeigentum. Die C._ AG mit Sitz in T._ (früher: D._ AG mit Sitz in S._) (Klägerin, Beschwerdegegnerin) ist als Eigentümerin zweier Stockwerkeigentumseinheiten mit den Adressen V._-Strasse Nr. yyy und zzz und einer Wertquote von insgesamt 691/1000 (6 1/2-Zimmerhaus Nr. nnn und 2 1/2-Zimmerhaus Nr. ooo) im Grundbuch eingetragen. Auch gehören ihr zwei Miteigentumsanteile zu je 1/46 am Stockwerkeigentum Nr. rrr, bei dem es sich um eine zur Liegenschaft V._-Strasse Nr. qqq (Grundstück Nr. ppp) gehörende Garage mit 46 Autoabstellplätze handelt. A.A._ und B.A._ (Beklagte 1 und 2; Beschwerdeführer 1 und 2) bewohnen die Liegenschaft mit der Adresse V._-Strasse Nr. zzz, in U._ (nachfolgend: die Liegenschaft).
Die D._ AG hatte die Liegenschaft mit öffentlich beurkundetem Kaufvertrag vom 23. Juni 2005 vom Beklagten 1 zum Preis von Fr. 1'275'000.-- gekauft, der durch die Übernahme von Grundpfandschulden getilgt wurde. Zuvor, nämlich am 14. Juni 2005, hatten die Beklagten mit der E._ GmbH einen öffentlich beurkundeten Kreditvertrag (nachfolgend: Kreditvertrag) geschlossen. Darin wurde festgehalten, dass die E._ GmbH gegenüber verschiedenen Firmen des Beklagten 1 offene Kredite von Fr. 1'788'916.63 habe, welcher Betrag von den Beklagten als Solidarschuldner übernommen und von der E._ GmbH wie folgt gewährt werde: a) Hypothekardarlehen auf Liegenschaft U._ Fr. 400'000.--; Festdarlehen Fr. 500'000.--; Kontokorrentdarlehen Fr. 880'000.--. Gleichzeitig wurde in diesem Kreditvertrag festgehalten, der Beklagte 1 verkaufe die Liegenschaft V._-Strasse zum Preis von Fr. 1,2 Mio. an die D._ AG. Der Kaufpreis werde durch Übernahme der bestehenden Hypotheken von insgesamt Fr. 875'000.--, vermindert um bisherige Amortisationen von Fr. 74'971.--, sowie durch Übernahme des erwähnten Hypothekardarlehens von Fr. 400'000.-- getilgt. Einzelheiten dieses Liegenschaftenverkaufs seien in einem separaten Vertrag zwischen der E._ GmbH, der D._ AG und den Beklagten geregelt (Ziff. 1.8 des Kreditvertrages). Am 8./14. Juni 2005 wurde diese in Ziffer 1.8 des Kreditvertrages erwähnte Vereinbarung unterzeichnet. Darin wurde unter dem Titel "1. Ausgangslage" auf die mit dem Kreditvertrag vorgenommene Umschuldung hingewiesen und festgehalten:
"Im Rahmen dieser Umschuldung sind die Parteien übereingekommen, dass der heutige alleinige Eigentümer des privaten Wohnhauses "V._-Strasse, in U._" dieses per Stichtag 1. Juni 2005 an die D._ AG (im folgenden D._ genannt) verkauft. Eine grundbuchamtliche Übertragung ist bis 30. Juni 2005 vorgesehen. Es ist die heutige Absicht aller Parteien, dass dieses Haus wieder in das Eigentum von A.A._ und/oder B.A._ überführt wird, sofern ihre finanzielle Lage dies innert angemessener Frist zulässt und A.A._ und B.A._ dies dannzumal noch wollen.
In Ergänzung zu diesem Grundbuchgeschäft und zum Kreditvertrag vom 8. Juni 2005 treffen die Parteien vor diesem Hintergrund heute die folgende
2. Vereinbarung".
Unter dem Titel "2. Vereinbarung" regelten die Parteien dann ein Mietverhältnis (Punkt 2.1) und ein Kaufrecht (Punkt 2.2). Danach verpflichtete sich die D._, die Liegenschaft ab 1. Juni 2005 fest bis 30. Juni 2010 an die Beklagten zu vermieten, und es wurden die Einzelheiten dazu geregelt. Sie verpflichtete sich sodann, den Beklagten entschädigungslos ein Kaufrecht an der Liegenschaft einzuräumen. Dieses Kaufrecht könne erstmals ausgeübt werden, wenn die heute bestehenden Schulden der Solidarschuldner A.A._ und B.A._ gegenüber der E._ GmbH von Fr. 1'780'000.-- gemäss öffentlich beurkundetem Kreditvertrag vom 8. Juni 2005 vollständig getilgt seien. Dannzumal könnten sie die Liegenschaft zum Preis von Fr. 1,2 Mio. kaufen. Sofern sie das Kaufrecht nicht bis zum 31. Dezember 2012 ausübten, erlösche es bedingungs- und entschädigungslos.
B.
B.a. Unter Vorlage je einer Klagebewilligung der Schlichtungsstelle für Miet- und Pachtverhältnisse See-Gaster vom 8. November 2012 und des Vermittleramts Gaster vom 8. Oktober 2012 verlangte die Klägerin mit Eingabe vom 15. November 2012 beim Kreisgericht Gaster-See, den Beklagten sei unter Strafandrohung zu befehlen, die Liegenschaft V._-Strasse Nr. zzz, bestehend aus den beiden Hausteilen nnn und ooo, in U._ sofort zu räumen und in gereinigtem Zustand zu verlassen und der Klägerin die Schlüssel zu übergeben, sowie entsprechende Vollzugsanordnungen. Einem vorangegangenen Begehren um raschen Rechtsschutz war mangels liquider Verhältnisse nicht stattgegeben worden. Mit Entscheid vom 29. Mai 2015 befahl das Kreisgericht den Beklagten, die Liegenschaft innert 10 Tagen nach Eintritt der Rechtskraft seines Entscheids zu räumen und der Klägerin ordnungsgemäss zu übergeben. Ausserdem ordnete es entsprechende Vollzugsbefugnisse der Gemeinde U._ an.
Das Kreisgericht stellte fest, dem Grundbuch zufolge sei die Klägerin Eigentümerin der streitgegenständlichen Grundstücke. Es verwarf den Einwand der Beklagten, die Klägerin sei zu Unrecht im Grundbuch eingetragen, weil der Kaufvertrag simuliert und der richtige Wille auf eine fiduziarische Eigentumsübertragung gerichtet gewesen sei, der fiduziarische Vertrag aber mangels öffentlicher Beurkundung ebenfalls nichtig sei. Zwar pflichtete es den Beklagten bei, dass diesfalls der Treuhandvertrag wegen Formmangels ungültig und die Eigentumsübertragung wegen Fehlens eines gültigen Rechtsgrunds unwirksam sei. Es liess aber offen, ob in diesem Sinn von Simulation auszugehen wäre, denn jedenfalls sei die Berufung der Beklagten auf Formnichtigkeit rechtsmissbräuchlich, da die Parteien den Vertrag in Kenntnis des Mangels irrtumsfrei erfüllt hätten. Der Klägerin als Eigentümerin stehe daher ein sachenrechtlicher Anspruch auf Ausweisung nach <ref-law> zu, sofern die Beklagten dem nicht ein besseres dingliches oder obligatorisches Recht entgegenhalten könnten. Ein von den Beklagten in diesem Zusammenhang geltend gemachtes Rückkaufsrecht verneinte es mangels öffentlicher Beurkundung eines solchen und weil die Beklagten den Nachweis nicht erbracht hätten, dass die Ausübungsbedingungen eingetreten seien. Es befand, dass ein Mietverhältnis vorliege. Dieses könne zufolge Zahlungsrückstands gültig gekündigt werden.
B.b. Das Kantonsgericht St. Gallen wies mit Entscheid vom 2. August 2016 eine von den Beklagten gegen diesen Entscheid erhobene Berufung kostenfällig ab. Anders als das Kreisgericht prüfte es, ob die Beklagten eine Simulation des Kaufvertrages nachgewiesen hätten, und widerlegte die von den Beklagten dafür vorgebrachten Indizien im Einzelnen. Im Rahmen einer Eventualbegründung verwies es wie das Kreisgericht darauf, die freiwillige und irrtumsfreie Erfüllung des Kaufvertrages lasse die Berufung auf dessen Formungültigkeit als missbräuchlich erscheinen. Sodann sei mit der Erstinstanz davon auszugehen, dass ein Rückkaufsrecht nicht formgültig vereinbart worden sei und auch die Voraussetzungen zu dessen Ausübung weder genügend substanziiert behauptet noch nachgewiesen wären. Zwischen den Parteien bestehe ein nach Ablauf dessen Befristung stillschweigend verlängertes Mietverhältnis, wobei die Vereinbarung vom 8./14. Juni 2005 dieses nur im Grundsatz regle, namentlich bezüglich des Mietzinses. Schliesslich verwarf es die Einwände der Beklagten betreffend Fälligkeit der Mietzinse, Gültigkeit der Kündigung sowie einen Verstoss gegen das Verbot des Verfallpfandes.
C.
Mit Beschwerde in Zivilsachen beantragen die Beklagten dem Bundesgericht, den Entscheid des Kantonsgerichts kostenfällig aufzuheben und auf die Klage nicht einzutreten. Eventuell sei diese abzuweisen. Subeventuell sei die Sache zu neuer Beurteilung an das Kreisgericht zurückzuweisen. Die Beschwerdegegnerin trägt auf kostenfällige Abweisung der Beschwerde an. Die Vorinstanz hat auf eine Vernehmlassung verzichtet.

considerations:
Erwägungen:
1.
1.1. Das Bundesgericht wendet das Recht von Amtes wegen an (<ref-law>). Mit Blick auf die allgemeinen Begründungsanforderungen an eine Beschwerde (Art. 42 Abs. 1 und 2 BGG) behandelt es aber grundsätzlich nur die geltend gemachten Rügen, sofern die rechtlichen Mängel nicht geradezu offensichtlich sind; es ist jedenfalls nicht gehalten, wie eine erstinstanzliche Behörde alle sich stellenden rechtlichen Fragen zu untersuchen, wenn diese vor Bundesgericht nicht mehr vorgetragen werden (<ref-ruling> E. 2 S. 88 f. mit Hinweisen). Eine qualifizierte Rügepflicht gilt hinsichtlich der Verletzung von Grundrechten und von kantonalem Recht. Das Bundesgericht prüft eine solche Rüge nur insofern, als sie in der Beschwerde präzise vorgebracht und begründet worden ist (<ref-law>; <ref-ruling> E. 1.7.2 S. 106 mit Hinweis). Unerlässlich ist im Hinblick auf Art. 42 Abs. 2 sowie <ref-law>, dass die Beschwerde auf die Begründung des angefochtenen Entscheids eingeht und im Einzelnen aufzeigt, worin eine Verletzung von Bundesrecht liegt. Die beschwerdeführende Partei soll in der Beschwerdeschrift nicht bloss die Rechtsstandpunkte, die sie im kantonalen Verfahren eingenommen hat, erneut bekräftigen, sondern mit ihrer Kritik an den als rechtsfehlerhaft erachteten Erwägungen der Vorinstanz ansetzen (<ref-ruling> E. 2 S. 89, 115 E. 2 S. 116). Erfüllt eine Beschwerde diese Anforderungen nicht, ist darauf nicht einzutreten.
1.2. Das Bundesgericht legt seinem Urteil den Sachverhalt zugrunde, den die Vorinstanz festgestellt hat (<ref-law>). Dazu gehören sowohl die Feststellungen über den streitgegenständlichen Lebenssachverhalt als auch jene über den Ablauf des vorinstanzlichen Verfahrens, also die Feststellungen über den Prozesssachverhalt (<ref-ruling> E. 1.3.1 S. 17 f. mit Hinweisen). Es kann die Sachverhaltsfeststellung der Vorinstanz nur berichtigen oder ergänzen, wenn sie offensichtlich unrichtig ist oder auf einer Rechtsverletzung im Sinne von <ref-law> beruht (<ref-law>). "Offensichtlich unrichtig" bedeutet dabei willkürlich im Sinne von <ref-law> (<ref-ruling> E. 2 S. 117; 264 E. 2.3 S. 266). Überdies muss die Behebung des Mangels für den Ausgang des Verfahrens entscheidend sein (<ref-law>).
Für eine Kritik am festgestellten Sachverhalt gilt das strenge Rügeprinzip von <ref-law> (<ref-ruling> E. 2.3 S. 266 mit Hinweisen). Die Partei, welche die Sachverhaltsfeststellung der Vorinstanz anfechten will, muss klar und substanziiert aufzeigen, inwiefern die genannten Voraussetzungen erfüllt sein sollen (<ref-ruling> E. 1.3.1 S. 18 mit Hinweisen). Wenn sie den Sachverhalt ergänzen will, hat sie zudem mit präzisen Aktenhinweisen darzulegen, dass sie entsprechende rechtsrelevante Tatsachen und taugliche Beweismittel bereits bei den Vorinstanzen prozesskonform eingebracht hat (<ref-ruling> E. 2 S. 90 mit Hinweisen). Genügt die Kritik diesen Anforderungen nicht, können Vorbringen mit Bezug auf einen Sachverhalt, der vom angefochtenen Entscheid abweicht, nicht berücksichtigt werden (<ref-ruling> E. 1.3.1 S. 18).
Soweit in einer Beschwerde Willkür in der Ermittlung des Sachverhalts geltend gemacht wird, ist zu beachten, dass dem Sachrichter in der Beweiswürdigung ein breiter Ermessensspielraum zusteht; in der Beschwerde ist daher darzulegen, inwiefern der kantonale Richter sein Ermessen missbraucht, insbesondere offensichtlich unhaltbare Schlüsse gezogen, erhebliche Beweise übersehen oder willkürlich ausser Acht gelassen habe (<ref-ruling> E. 4.2 S. 234; <ref-ruling> E. 4b S. 40; <ref-ruling> E. 1b S. 30). Dagegen genügt es nicht, wenn die beschwerdeführende Partei lediglich einzelne Beweise anführt, die sie anders als im angefochtenen Entscheid gewichtet wissen möchte. Es geht nicht an, bloss appellatorische Kritik an der Beweiswürdigung des kantonalen Gerichts zu üben, als ob dem Bundesgericht die freie Prüfung aller Tatfragen zukäme (<ref-ruling> E. 2.3 S. 266; <ref-ruling> E. 2.8 S. 494; <ref-ruling> E. 1.3 S. 261 f. mit Hinweisen).
2.
Die Beschwerdeführer bestreiten wie bereits vor Vorinstanz die Partei- und Prozessfähigkeit der Beschwerdegegnerin, da diese seit 1993 tatsächlich aufgelöst worden sei und nur noch ein Aktienmantel bestanden habe.
2.1. Die Vorinstanz erwog, die Beschwerdegegnerin habe gemäss ihrem Handelsregistereintrag im April 2002 den Sitz nach S._ verlegt; gleichzeitig habe F._ das Amt als (einziger) Verwaltungsrat übernommen. Im Juni 2005 habe der Beschwerdeführer 1 die von ihm und seiner Familie genutzten Liegenschaften an die Beschwerdegegnerin verkauft, die im Gegenzug Schulden übernommen habe, welche zumindest im Umfang von Fr. 875'000.-- (Grundpfandschulden bei der Bank G._) bei einer Gläubigerschaft ausserhalb des direkten wirtschaftlichen Einflussbereichs von F._ bestanden hätten. Seither habe die Beschwerdegegnerin dieses Aktivum verwaltet, nach ihrer Darstellung als Vermieterin, wobei die entsprechenden Handlungen in ihrem Namen durch F._ beziehungsweise durch dessen Treuhandgesellschaft wahrgenommen würden. Die Beschwerdegegnerin verfüge mithin über Aktiven und Passiven, verwalte diese und sei im Jahr 2005 in der Lage gewesen, eine erhebliche (auch wirtschaftlich gesehen: Dritt-) Verschuldung zu übernehmen und den Zinsendienst zu erfüllen. Damit liege keine ihres Inhalts entleerte, substanzlose Gesellschaft (Mantelgesellschaft) vor, die im Handelsregister gemäss <ref-law> zu löschen wäre - allenfalls eine im Juni 2005 reaktivierte. Gemäss der bundesgerichtlichen Rechtsprechung (<ref-ruling> E. 2b S. 62) genüge eine bloss vorübergehende Untätigkeit nicht. Die Untätigkeit auch während längerer Dauer und das Fehlen von Mitteln hätten danach lediglich die Bedeutung von Indizien für den entscheidenden Umstand, dass die Gesellschaft von den Beteiligten endgültig aufgegeben worden sei. Die Weiterführung einer ruhenden Gesellschaft unter Aufbringung neuer Mittel bleibe möglich (unter Hinweis auf <ref-ruling> E. 3 S. 64), und auch die Aktivierung beziehungsweise Reaktivierung eines Aktienmantels sei - bei gleichzeitiger Behandlung analog einer Gesellschaft mit Gründungsmängeln - gemäss Lehre und Rechtsprechung zulässig (unter Hinweis auf das Urteil 4C.19/2001 vom 25. Mai 2001 E. 2b und FORSTMOSER/MEIER-HAYOZ/NOBEL, Schweizerisches Aktienrecht, 1996, § 56 N. 172 [recte: N. 169]; MARKUS VISCHER, Mantel- und Vorratsgesellschaften und insbesondere auch der Mantel- und Vorratsgesellschaftshandel aus zivilrechtlicher Sicht, in: AJP 2013 S. 563 ff., S. 569 f. Abschnitt K; CHRISTOPH STÄUBLI, in: Basler Kommentar Obligationenrecht II, 5. Aufl. 2016, N. 4 zu <ref-law>).
2.2. Die Beschwerdeführer halten dem entgegen, eine ihrer Substanz entleerte Aktiengesellschaft erlange die Rechtspersönlichkeit nicht wieder, indem sie (wieder) am Rechtsverkehr teilnehme. Der Abschluss des Grundstückkaufvertrages im Jahr 2005 sowie die Schuldübernahme gegenüber der Bank hätten jedenfalls nicht zur Wiedererlangung der Rechtspersönlichkeit geführt. Damit wiederholen sie lediglich ihre Vorbringen im kantonalen Verfahren, ohne sich mit der Argumentation der Vorinstanz auseinanderzusetzen. Das ist keine genügende Rüge; darauf ist nicht einzutreten (vgl. E. 1.1 hiervor). Wenn die Beschwerdeführer überdies geltend machen, die Beschwerdegegnerin habe weder behauptet noch belegt, dass sie den Zinsendienst gegenüber der Bank auch tatsächlich erfülle, ist dies nicht nachvollziehbar. Denn unbestritten hat die Beschwerdegegnerin die Grundpfandschuld übernommen und ist sie nach wie vor als Eigentümerin im Grundbuch eingetragen; es ist nicht davon auszugehen, dass die Bank das ohne Tilgung der Hypothekarzinsen toleriert hätte.
3.
Unter dem Titel "Nichtiger Mantelkauf, nichtiger Grundstückkauf" berufen sich die Beschwerdeführer auf Nichtigkeit des Kaufvertrages vorerst mit dem Argument, F._ (oder eine von ihm kontrollierte Unternehmung) habe die Beschwerdegegnerin als Aktienmantel erworben. Dieser Erwerb sei nach der bundesgerichtlichen Rechtsprechung nichtig. Daher seien auch die von der Beschwerdegegnerin seither abgeschlossenen Rechtsgeschäfte nichtig, darunter der Kaufvertrag.
3.1. Die Vorinstanz hat bereits im Zusammenhang mit der bestrittenen Partei- und Prozessfähigkeit der Beschwerdegegnerin im Rahmen einer Zusatzbegründung darauf hingewiesen, die Beschwerdeführer verhielten sich widersprüchlich, wenn sie der Beschwerdegegnerin die Rechtspersönlichkeit absprechen würden, hätten sie doch nach ihrer eigenen Darstellung die Liegenschaft fiduziarisch auf die Beschwerdegegnerin übertragen, um sie dem Zugriff der Gläubiger des Beschwerdeführers 1 zu entziehen, was nur möglich sei, wenn der Beschwerdegegnerin Rechtspersönlichkeit zukomme. Und sie verweist einleitend zu ihren Überlegungen betreffend Nichtigkeit des Kaufvertrages zufolge Mantelkauf auf diese ihre vorgängigen Ausführungen zur Partei- und Prozessfähigkeit.
3.2. Der offenbare Missbrauch eines Rechtes findet keinen Rechtsschutz (<ref-law>). Ob Rechtsmissbrauch vorliegt, ist einzelfallweise in Würdigung der gesamten Umstände zu bestimmen (<ref-ruling> E. 2.2 S. 403, 425 E. 5.2 S. 431). Dabei sind die von der Lehre und Rechtsprechung gebildeten Fallgruppen zu beachten (<ref-ruling> E. 4.2.4 S. 495 mit Hinweisen) wie die Rechtsausübung, die ohne schützenswertes Interesse erfolgt oder zu einem krassen Missverhältnis berechtigter Interessen führen würde (<ref-ruling> E. 2.2 S. 403 mit Hinweis). Rechtsmissbrauch liegt auch vor, wenn ein Rechtsinstitut zweckwidrig zur Verwirklichung von Interessen verwendet wird, die nicht in dessen Schutzbereich liegen (<ref-ruling> E. 4.2.4 S. 495 mit Hinweis). Die Geltendmachung eines Rechts ist ferner missbräuchlich, wenn sie im Widerspruch zu einem früheren Verhalten steht und dadurch erweckte berechtigte Erwartungen enttäuscht (<ref-ruling> E. 2.3.2 S. 483 mit Hinweisen). Widersprüchliches Verhalten und damit Rechtsmissbrauch kann sodann auch ohne Enttäuschung berechtigter Erwartungen in einer gegenwärtigen, in sich völlig unvereinbaren und darum widersprüchlichen Verhaltensweise gesehen werden (<ref-ruling> E. 2.2 S. 403; HEINZ HAUSHEER/REGINA E. AEBI-MÜLLER, in: Berner Kommentar, 2012, N. 278 ff. zu <ref-law>; HANS MERZ, in: Berner Kommentar, 1962, N. 403 zu <ref-law>; Urteile des Bundesgerichts 4C.202/2006 vom 29. September 2006 E. 3; 4A_167/2010 vom 11. Oktober 2010 E. 3.4.2).
Die Beschwerdeführer behaupten Simulation des Kaufvertrages und als Folge davon die Nicht-Übertragung des Grundeigentums auf die Beschwerdegegnerin. Wie nachfolgend dargelegt wird (E. 5.2), war aber auch nach ihrer Darstellung die Übertragung des Eigentums an eine mit Rechtspersönlichkeit ausgestattete und über handlungsfähige Organe verfügende Gesellschaft gewollt. Daher verhalten sie sich in der Tat widersprüchlich und missbräuchlich, wenn sie sich einerseits auf die Übertragung des Grundeigentums - wenn auch gestützt auf einen Treuhandvertrag - berufen, mit dem sie ihre Liegenschaften den Gläubigern entziehen wollten, dann aber im vorliegenden Verfahren Nichtigkeit der von dieser Gesellschaft getätigten Rechtsgeschäfte geltend machen, weil diese auf einem Mantelkauf beruhe. Damit sind sie nicht zu hören.
4.
Unabhängig von der Nichtigkeit des Kaufvertrags als (blosse) Folge des Mantelkaufs bestreiten die Beschwerdeführer grundsätzlich nach wie vor die Gültigkeit dieses Vertrages. Sie machen einerseits geltend, der Kaufvertrag sei formungültig, weil ein Rückkaufsrecht, das zusammen mit dem Grundstückkaufvertrag vereinbart worden sei, nicht öffentlich beurkundet worden sei. Vor allem halten sie daran fest, dass der Kauf simuliert gewesen sei. Der wirkliche Wille der Parteien sei auf den Abschluss eines fiduziarischen Rechtsgeschäfts gerichtet gewesen, was von der Vorinstanz in Verletzung ihres Beweisanspruchs und unter willkürlicher Beweiswürdigung nicht abgeklärt worden sei. Es sei entgegen der Vorinstanz nicht rechtsmissbräuchlich, wenn sie sich auf die Ungültigkeit des Kaufvertrages beriefen.
5.
5.1. Die Beschwerdeführer berufen sich einerseits an verschiedenen Stellen ihrer Beschwerde auf Simulation nach <ref-law> und sprechen andererseits von einer fiduziarischen bzw. treuhänderischen Grundstückübertragung. Beides ist auseinanderzuhalten.
Bei einer fiduziarischen Rechtsübertragung wollen die Parteien das Recht - hier das Grundeigentum - uneingeschränkt übertragen. Die Rechtsübertragung, das Verfügungsgeschäft, ist also gewollt; der Fiduziar soll nach dem Willen der Parteien volles dingliches Recht am Treugut erhalten. Mit der der Eigentumsübertragung zugrunde liegenden Vereinbarung verpflichtet sich der Fiduziar dem Fiduzianten gegenüber, das übertragene Recht nicht oder nur teilweise auszuüben oder es unter bestimmten Voraussetzungen wieder zurückzuübertragen. Die Rechtsübertragung ist also in solchen Fällen nicht simuliert (<ref-ruling> E. 3.4 S. 427; <ref-ruling> E. 2b S. 328; 71 II 99 E. 2 S. 100; Urteil 5A_260/2013 vom 9. September 2013 E. 3.3.2.1). Das schliesst allerdings andere Fälle nicht aus, wo auch nach dem Willen der Parteien keine Eigentumsübertragung gewollt ist, das Verfügungsgeschäft also simuliert ist und dem Fiduziar lediglich nach aussen eine Legitimation verschaffen soll (<ref-ruling> E. 4c S. 295; ERNST A. KRAMER, in: Berner Kommentar, 1986, N. 128 f. zu <ref-law>; GAUCH/SCHLUEP UND ANDERE, Schweizerisches Obligationenrecht Allgemeiner Teil, Band I, 10. Aufl. 2014, S. 240 Rz. 1031).
Geht es um die Übertragung des Eigentums an Grundstücken, so ist nach der Rechtsprechung des Bundesgerichts allerdings, auch soweit der fiduziarische Rechtsübergang tatsächlich gewollt ist, zu berücksichtigen, dass die Übertragung ein kausaler Vorgang ist und somit einen gültigen Rechtsgrund erfordert. Für eine gültige fiduziarische Eigentumsübertragung genügt es daher nicht, dass die Parteien die Übertragung als solche gewollt haben, sondern es ist überdies erforderlich, dass sie den Eigentumsübergang durch den kausalen Rechtsakt haben herbeiführen wollen, der als Grund für jenen genannt ist. Wollen die Parteien eine Sache durch Übertragung des Eigentums dem Zugriff der Gläubiger des bisherigen Eigentümers entziehen und schliessen sie zu diesem Zweck einen Kaufvertrag, während ihr wirklicher Wille gar nicht auf einen solchen gerichtet ist, so ist der Kaufvertrag wegen Simulation nichtig; denn ernstlich gewollt ist hier nur die Eigentumsübertragung, nicht aber auch der Kauf. Dieser ist lediglich vorgeschützt, und hinter ihm ist ein anderer Vertrag versteckt, der sich vom ersten seinem Wesen nach unterscheidet. Ist dies aber der Fall, so liegt immer Simulation vor. Die Wirksamkeit der von den Parteien ernstlich gewollten Eigentumsübertragung aber, die als Kausalgeschäft einen gültigen Rechtsgrund voraussetzt, ist davon abhängig, ob das dem wirklichen Willen der Parteien entsprechende Grundgeschäft, d.h. die Vereinbarung, die Sache vor den Gläubigern in Sicherheit zu bringen, gültig zustande gekommen ist. In Bezug auf Grundstücke ist für einen gültigen Eigentumsübergang die öffentliche Beurkundung des Grundgeschäftes notwendig. Fehlt diese, so ist der Vertrag wegen Formmangels ungültig und die Eigentumsübertragung wegen Fehlens eines gültigen Rechtsgrundes unwirksam (BGE 71 II 99 E. 2 S. 101 f.).
5.2. Vorliegend geht es nicht darum, dass die Eigentumsübertragung, also das Verfügungsgeschäft, nicht gewollt und also simuliert gewesen wäre. Auch die Beschwerdeführer selber halten ausdrücklich fest, dass die Eigentumsübertragung gewollt war. Sie machen lediglich geltend, dass nach ihrem Verständnis eine zeitlich beschränkte Eigentumsübertragung gewollt war, da aufgrund der Vereinbarung zwischen den Parteien eine Rückübertragung vorgesehen war, während die Beschwerdegegnerin behaupte, die Eigentumsübertragung habe - aufgrund eines gewöhnlichen Kaufvertrages - definitiven Charakter gehabt.
6.
Ob als Grundgeschäft für die Eigentumsübertragung ein Kaufvertrag oder ein Treuhandvertrag gewollt bzw. der öffentlich beurkundete Kaufvertrag simuliert war, könnte offen bleiben, wenn im Sinn der vorinstanzlichen Eventualerwägung bzw. der Hauptbegründung des Kreisgerichts davon auszugehen wäre, die Berufung auf den Formmangel sei rechtsmissbräuchlich (<ref-law>).
6.1. Die Vorinstanz beruft sich hierfür auf die bundesgerichtliche Rechtsprechung (<ref-ruling> E. 5a S. 338 f. und 104 II 99 E. 3 S. 101 f.), wonach bei beidseitiger freiwilliger und irrtumsfreier Erfüllung eines formungültigen Vertrages die Berufung auf den Formmangel keinen Schutz verdient. Die Beschwerdeführer bestreiten nach wie vor jegliches rechtsmissbräuchliche Verhalten.
Es handelt sich bei diesem Fall des Rechtsmissbrauchs um einen Sonderfall des widersprüchlichen Verhaltens. Rechtsmissbräuchlich ist das Geltendmachen des Formmangels nur, wenn der Vertrag in wesentlichen Punkten bereits freiwillig und in Kenntnis des formungültigen Grundgeschäfts erfüllt wurde (<ref-ruling> E. 5a S. 338 mit Hinweisen), denn nur dann handelt die Partei widersprüchlich. Ausgangspunkt der vorinstanzlichen Überlegung ist, dass der Grundstückkaufvertrag erfüllt wurde. Der Eigentumsübergang sei zur Anmeldung im Grundbuch vorgebracht worden und die Beschwerdegegnerin habe die Grundpfandschulden übernommen. Die Vorinstanz verkennt, dass die erwähnten Übertragungshandlungen auch erfolgt wären, wenn ein fiduziarischer Eigentumsübergang auf der Grundlage eines Treuhandvertrags gewollt gewesen wäre. Solange die Beschwerdeführer von einem Treuhandvertrag ausgingen, hatten sie keine Veranlassung, den Eigentumsübergang in Frage zu stellen. Mit andern Worten kann man ihnen unter diesen Umständen nicht vorwerfen, sie hätten den Kaufvertrag erfüllt, obwohl sie diesen nun als ungültig deklarieren (vgl. BGE 71 II 99 E. 4 S. 106 f.). Das Kreisgericht ging mit den Beschwerdeführern davon aus, nach der bundesgerichtlichen Rechtsprechung (BGE 71 II 99 E. 3 S. 105 f.) sei im Fall eines simulierten Grundstückkaufvertrages und eines dissimulierten fiduziarischen Vertrages ersterer wegen Simulation gemäss <ref-law> und letzterer mangels öffentlicher Beurkundung nichtig (vgl. E. 5.1 hiervor), womit die Beschwerdegegnerin auf jeden Fall mangels gültigem Grundgeschäft nicht Eigentümerin geworden wäre, es sei denn, die Beschwerdeführer könnten sich zufolge Rechtsmissbrauchs nicht auf diese Ungültigkeit (en) berufen. Die Berufung auf die Nichtigkeit des Treuhandvertrages infolge Formmängel sei aus den gleichen Gründen wie bei der Simulation rechtsmissbräuchlich, denn die Beschwerdegegnerin sei auch bei einer fiduziarischen Übertragung der Liegenschaft Eigentümerin geworden. Die Vorinstanz verwies zwar auf diese Überlegung, übernahm sie aber zu Recht nicht. Widersprüchliches Verhalten durch Erfüllung eines formungültigen Vertrages könnte man den Beschwerdeführern nämlich nur vorwerfen, wenn sie wussten, dass im Fall einer fiduziarischen Rechtsübertragung der Treuhandvertrag zu beurkunden wäre und sie trotzdem in Kenntnis dessen Formungültigkeit zu den Übertragungshandlungen Hand boten. Dass dem so war, ist aber nicht festgestellt und kann auch nicht ohne weiteres angenommen werden, zumal in der Lehre auch die Auffassung vertreten wird, wenn bei der fiduziarischen Übertragung von Grundeigentum in der öffentlichen Urkunde fälschlicherweise ein Kaufvertrag angegeben werde statt einer Formulierung wie "fiduziarischer Auftrag" o.ä., sollte man die (fiduziarische) Eigentumsübertragung nicht an der mangelnden Beurkundung des wirklich gewollten fiduziarischen Grundgeschäfts scheitern lassen (KRAMER, a.a.O., N. 132 zu <ref-law>).
6.2. Die Vorinstanz begründete den Rechtsmissbrauch zusätzlich damit, dass nach der eigenen Darstellung der Beschwerdeführer das dissimulierte Geschäft vorab ihren Interessen gedient habe, und zwar in der Absicht, zwei Sozialversicherungen als Gläubigerinnen des Beschwerdeführers 1 die Befriedigung ihrer Forderungen zu verunmöglichen. Auch insofern sei ihnen die Berufung auf die Ungültigkeit des Kaufvertrages verwehrt. Sie begründet dies nicht weiter. Mann kann sich fragen, ob sie sich damit sinngemäss auf die Maxime "nemo auditur turpitudinem suam allegans" berufen wollte. Danach wird nicht geschützt, wer durch unredliches (widerrechtliches, vertrags- oder sittenwidriges) Verhalten eine bestimmte Rechtsstellung erworben oder diejenige eines andern beeinträchtigt hat, wenn er damit Vorteile zu erlangen sucht (HAUSHEER/AEBI-MÜLLER, a.a.O., N. 250 ff. zu <ref-law>; MERZ, a.a.O., N. 540 f. zu <ref-law>). Als Verstoss gegen diese Maxime qualifizierte das Bundesgericht beispielsweise die Berufung auf die Unabdingbarkeit zwingender Bestimmungen durch eine Partei, welche die gegen diese zwingenden Bestimmungen verstossende Vereinbarung in eigenem Interesse und in Kenntnis ihrer Unzulässigkeit selber vorgeschlagen und damit beim Rechtserwerb unredlich gehandelt hatte (Urteil 4C.233/2000 vom 15. November 2000 E. 5 mit Hinweisen), oder die Berufung auf die erfolgte Verbreitung eines Fabrikationsgeheimnisses - womit das durch Art. 1 Abs. 2 lit. g aUWG (BS 2 951) geschützte Geheimnis nicht mehr bestand, weshalb die wegen Verletzung des UWG angeordnete Zerstörung von Maschinen nicht zulässig sei - durch jene Personen, die in Verletzung des UWG selber diese Verbreitung bewirkt hatten (<ref-ruling> E. 2 S. 323). Ebenso wurde einer Mieterin kein Schutz vor einer als Vergeltungsmassnahme ausgesprochenen Kündigung gewährt, weil die Mieterin bei der Geltendmachung ihrer Ansprüche gegen den Vermieter wusste bzw. wissen musste, dass diese nicht gerechtfertigt waren (<ref-ruling> E. 3a S. 81). Die vorliegende Fragestellung ist insofern nicht mit den dargelegten privatrechtlichen Situationen vergleichbar, weil bei diesen das Verhalten, das Rechtsmissbrauch begründete, gegen die Gegenpartei gerichtet war. Demgegenüber besteht das zu Missbilligende hier in einem Verhalten gegenüber Dritten (Sozialversicherungen). Es braucht nicht abschliessend beurteilt zu werden, ob gestützt auf die Maxime "nemo auditur turpitudinem suam allegans" auch in derartigen Fällen Rechtsmissbrauch angenommen werden könnte (allerdings scheint BGE 71 II 99 E. 3 und 4 die blosse Absicht, Liegenschaften mit Rücksicht auf die befürchtete Zahlungsunfähigkeit des Eigentümers dem Zugriff der Gläubiger zu entziehen, nicht für die Annahme von Rechtsmissbrauch genügen zu lassen), da die Beschwerde, wie nachfolgend dargelegt wird, aus andern Gründen nicht zu schützen ist.
7.
Formbedürftige Rechtsgeschäfte sind nach denselben Grundsätzen auszulegen wie formfreie, das heisst, es ist nach den gesamten Umständen zu ermitteln, was die Parteien tatsächlich gewollt haben oder - wenn sich dies nicht feststellen lässt - wie ihre Erklärungen nach Treu und Glauben zu verstehen sind (<ref-ruling> E. 3c S. 254, 529 E. 3c S. 532; <ref-ruling> E. 4 S. 366). Steht der nach den allgemeinen Auslegungsmethoden ermittelte Vertragsinhalt fest, ist bei formbedürftigen Verträgen in einem weiteren Schritt zu beurteilen, ob der Inhalt in der gesetzlich vorgeschriebenen Form hinreichend zum Ausdruck gebracht worden ist (BGE <ref-ruling> E. 4 S. 366; <ref-ruling> E. 4 b/bb S. 124; vgl. zum Ganzen auch Urteil 4A_24/2008 vom 12. Juni 2008 E. 3.1). Es ist daher vorerst zu prüfen, was die Parteien tatsächlich gewollt haben beziehungsweise wie ihre Erklärungen nach Treu und Glauben zu verstehen sind. Erst in einem zweiten Schritte ist dann auf die Formgültigkeit einzugehen.
7.1. Die Vorinstanz stellte zutreffend fest, dass wer sich auf eine Simulation nach <ref-law> beruft, den vom Vertragswortlaut abweichenden wirklichen Willen der Parteien zu beweisen hat (<ref-ruling> E. 4.1.1 S. 55; <ref-ruling> E. 4a S. 342). Das bestreiten auch die Beschwerdeführer nicht. Die Vorinstanz verneinte, dass der wirkliche Wille der Parteien nicht auf einen Kaufvertrag gerichtet war. Diese Feststellung beruht auf Beweiswürdigung. Die Beschwerdeführer müssten diese somit als willkürlich ausweisen können. Das gelingt ihnen nicht.
7.2. Es kann ohne weiteres davon ausgegangen werden, dass es die Absicht der Parteien war, die Liegenschaft später wieder an die Beschwerdeführer zurückzuübertragen, wie die Beschwerdeführer darlegen. Dies wird im Ingress der (nicht verurkundeten) Vereinbarung vom 8./14. Juni 2005 ausdrücklich gesagt und entsprechend wurde in dieser auch ein Rückkaufsrecht vorgesehen. Gleichzeitig wurde das Rückkaufsrecht aber davon abhängig gemacht, dass die Beschwerdeführer zuvor die mit dem Kreditvertrag als Solidarschulder übernommenen Schulden von Fr. 1'780'000.-- bei der E._ AG tilgen. Da gleichzeitig vereinbart wurde, das Rückkaufsrecht erlösche bedingungs- und entschädigungslos, sofern es nicht bis zum 31. Dezember 2012 ausgeübt worden sei, bewirkte die Regelung einen Zwang auf die Beschwerdeführer, die Schulden in diesem Zeitraum abzutragen. Dies umso mehr, falls der Kaufpreis von Fr. 1'275'000.-- tatsächlich - wie sie selber in der Beschwerde geltend machen - erheblich unter dem tatsächlichen Wert der Liegenschaft lag. Eine solche Regelung machte aus Sicht der Gläubigerin und damit gleichzeitig der mit ihr verbundenen Beschwerdegegnerin Sinn, aber auch aus Sicht der Beschwerdeführer, wenn man entsprechend ihren Vorbringen davon ausgeht, dass sie so den Zugriff von Gläubigern des Beschwerdeführers 1 (namentlich der Sozialversicherungen) auf die Liegenschaft verhindern wollten. Dies konnten sie mit der Eigentumsübertragung erreichen und gleichzeitig Zeit gewinnen, um die Schuldensituation zu bereinigen.
Die Beschwerdeführer rügen nun sinngemäss, nicht nur der Kaufvertrag, sondern überhaupt die im Recht liegende Vertragsdokumentation sei zum Schein erstellt worden. Auch die bereits am 15. Juli 2004 von ihnen unterzeichneten Bürgschaften, auf die im Kreditvertrag Bezug genommen wird, seien nur zu "äusseren Plausibilisierung " eingegangen worden, d.h. um die erst später mit dem Kreditvertrag erfolgte Umschuldung zu plausibilisieren und so gegen aussen eine völlige Überschuldung der Beschwerdeführer persönlich auszuweisen.
Grundlage der in der Vereinbarung getroffenen Regelung ist, dass in jenem Zeitpunkt (Juni 2005) entsprechende Schulden der "H._-Firmen" (H.I._ AG, H.J._ AG, H.K._ AG) bestanden. Die Vorinstanz stellte denn auch in tatsächlicher Hinsicht fest, auch in der Darstellung der Beschwerdeführer habe - wenn auch aus andern Gründen - eine Umschuldung der Schulden der H._-Gesellschaften auf die Beschwerdeführer stattgefunden und es hätten anerkanntermassen Kreditausfälle der E._ GmbH in erheblicher Höhe bestanden; gleichzeitig sei diese Grundpfandgläubigerin über Fr. 400'000.-- gewesen. Letztere Feststellungen rügen die Beschwerdeführer als aktenwidrig und verweisen auf ihre erstinstanzliche Duplik. Die Vorinstanz stützte sich ihrerseits auf Ausführungen der Beschwerdeführer in der Klageantwort. An der angegebenen Stelle hatten diese ausgeführt "erklärte Strategie der Partner war stets, F._ bzw. seine Gesellschaften bestmöglich sicherzustellen und alle Schulden und Risiken dem Beklagten aufzubürden", um dann den Inhalt der drei Verträge darzulegen. An der von ihnen angegebenen Stelle in der Duplik beziehen sich die Beschwerdeführer dagegen auf Sachverhalte, die (teils mehrere Jahre) nach Abschluss der Verträge eintraten, wie die Vorinstanz völlig zu Recht ebenfalls feststellte. Es ist daher keineswegs willkürlich, wenn die Vorinstanz bezogen auf den für die Vertragsauslegung allein massgeblichen Zeitpunkt im Juni 2005 feststellte, auch nach der Darstellung der Beschwerdeführer hätten (im Zeitpunkt der Vertragsausfertigung) Kreditausfälle gegenüber der E._ AG bestanden. Ist von dieser Verschuldung bzw. deren Übernahme durch die Beschwerdeführer auszugehen, leuchtet es auch ein, dass in der Vereinbarung das Rückkaufsrecht unter die Bedingung gestellt wurde, dass die Schulden durch die Beschwerdeführer bis zum 31. Dezember 2012 abgetragen werden. Zutreffend schloss die Vorinstanz daher, es sei aus ökonomischer Sicht alles andere als abwegig, dass Parteien in dieser Situation eine Regelung vereinbarten, wie sie im Kreditvertrag zwischen der E._ GmbH und den Beschwerdeführern resp. der Vereinbarung zwischen diesen Parteien und der Beschwerdegegnerin getroffen wurde. Es bleibe letztlich auch unklar, welches Interesse F._ resp. die von ihm (mutmasslich) beherrschten Unternehmungen an der von den Beschwerdeführern behaupteten problematischen, aufwendigen und riskanten Konstruktion hätten haben sollen. Auf seiner Seite habe das offenkundige Interesse darin bestanden, den dokumentierten Kreditausfall möglichst zu kompensieren. Die Beschwerdeführer bringen auch in der Beschwerde keine Gründe vor, die diese Interessenlage in einem andern Licht erscheinen lassen. Die Vorinstanz schloss daher ohne Willkür, den Beschwerdeführern gelinge der Beweis nicht, dass der tatsächliche Wille nicht auf einen Kaufvertrag gerichtet war. Dass die Beschwerdeführer gewisse Indizien auflisten, die in ihren Augen für die von ihnen behauptete Version sprechen, genügt nicht, um die davon abweichende Beweiswürdigung der Vorinstanz als offensichtlich unhaltbar auszuweisen (vgl. E. 1.2 hiervor).
8.
Strittig ist weiter, ob der Grundstückkaufvertrag formungültig ist, weil das in der Vereinbarung vorgesehene Rückkaufsrecht nicht beurkundet wurde.
8.1. Die Vorinstanz erwog, der Beurkundungszwang betreffe nicht nur die essentialia negotii, sondern durchaus auch accidentalia negotii, wenn sie die Leistung und Gegenleistung präzisierten (Konventionalstrafen, Übernahme von Hypotheken etc). Er beschränke sich aber auf die kaufvertragstypischen, objektiv und subjektiv wesentlichen Punkte. In der Darstellung beider Parteien stehe das Rückkaufsrecht nicht im Zusammenhang mit dem Grundstückkaufvertrag, sondern vielmehr mit dem Kreditvertrag respektive und insbesondere mit der Vereinbarung. Der innere Zusammenhang mit dem Kreditvertrag, den die Vereinbarung wie den Grundstückkaufvertrag (bloss) "ergänzen" solle, ergebe sich auch aus dem Wortlaut dieser Vereinbarung. Gemäss diesem solle nämlich eine Rücküberführung in das Eigentum der Beklagten nicht etwa dann geschehen, "wenn ihre finanzielle Lage dies zulasse", wie die Beschwerdeführer in ihrer Klageantwort geltend gemacht hätten, sondern diese solle dadurch bedingt sein, dass die Schulden der Beschwerdeführer gegenüber der E._ GmbH gemäss dem Kreditvertrag (im Betrag von Fr. 1'780'000.--) "vollständig getilgt" seien. Nach der Aktenlage und den erstinstanzlichen Parteibehauptungen sei das Rückkaufsrecht damit nicht Teil des Synallagmas des Grundstückkaufvertrages, sondern des Kreditvertrages respektive seiner Zusatzvereinbarung, mit welchem die Details einer Schuldenbereinigung geregelt würden. Die Behauptung, das Rückkaufsrecht sei ein wesentlicher Teil des Kaufpreises gewesen, hätten die Beschwerdeführer demgegenüber erstmals in der Berufung vorgebracht, ohne sich über die Zulässigkeit dieses Novums zu äussern.
8.2. Nach der Rechtsprechung des Bundesgerichts und der herrschenden Lehre fallen sowohl die objektiv als auch die subjektiv wesentlichen Vertragspunkte unter die Formvorschriften des Grundstückkaufvertrages. Allerdings folgt daraus nicht, dass der Formzwang sich auf sämtliche Punkte erstreckt, die für den Abschluss des in Frage stehenden Vertrages wesentlich sind. Im subjektiv wesentlichen Bereich ist er auf diejenigen Vertragspunkte einzuschränken, die ihrer Natur nach ein Element des betreffenden Vertragstyps bilden. Verpflichtungen, die für den Grundstückkaufvertrag artfremd sind, bedürfen daher keiner Aufnahme in die öffentliche Urkunde, sofern das Versprochene nicht als zusätzliche Gegenleistung einer Partei in das kaufrechtliche Austauschverhältnis einfliesst (<ref-ruling> E. 2a S. 138; <ref-ruling> E. 2a S. 404; Urteil 4C.458/1996 vom 20. Februar 1997 E. 1a; je mit Hinweisen). Es genügt also nicht, wenn die eine Verpflichtung bloss Anlass zu andern ist, zwei Verträge beispielsweise in kausaler Abhängigkeit zueinander stehen (BGE <ref-ruling> E. 2a S. 404) bzw. der Bestand der einen Abrede conditio sine qua non für die Zustimmung zur zweiten darstellt (<ref-ruling> E. 2b S. 264; vgl. auch <ref-ruling> E. 3.2 S. 300).
8.3. Zutreffend stellte die Vorinstanz daher darauf ab, dass die Rücküberführung in das Eigentum der Beschwerdeführer von der Bedingung abhing, dass die Schulden der Beschwerdeführer gegenüber der E._ GmbH vollständig getilgt seien und somit Teil des Kreditvertrages und der Zusatzvereinbarung war. Zu dieser Abhängigkeit von der Schuldentilgung äussern sich die Beschwerdeführer nicht; sie wiederholen lediglich das auch von der Vorinstanz erwähnte Vorbringen, die Liegenschaft hätte rückübertragen werden sollen, wenn ihre finanzielle Lage das zugelassen hätte und verweisen auf die Rechtsprechung zu zusammengesetzten Verträgen. Es ist daher fraglich, ob überhaupt eine genügende Rüge gegeben und darauf einzutreten ist (E. 1.1 hiervor). Aber auch wenn auf die Rüge eingetreten werden könnte, wäre der Vorinstanz beizupflichten. Insbesondere ist gemäss den Ausführungen unter E. 8.2 hiervor entgegen den Beschwerdeführern für den Umfang des Formzwangs betreffend den Grundstückkaufvertrag nicht entscheidend, ob dieser Teil eines zusammengesetzten Vertrages gewesen ist und ohne die Abrede des Rückkaufsrechts nicht geschlossen worden wäre. Die Beschwerdeführer äussern sich schliesslich zu den Ausführungen der Vorinstanz betreffend das Vorbringen einer unzulässigen neuen Tatsachenbehauptung (Novum) in der Berufung. Dass das Rückkaufsrecht wesentlicher Teil des Gesamtgeschäfts gewesen sei, sei ein Vorbringen rechtlicher Natur und daher ohne weiteres zu hören. An der von der Vorinstanz angegeben Stelle in der Berufung führten die Beschwerdeführer aus, die Beschwerdegegnerin habe in ihrer Replik zugestanden, "dass der Verkauf der Liegenschaft und die Einräumung des Rückkaufsrechts 'zusammengehören' (...) bzw. von den Parteien nicht einzeln abgeschlossen und beurkundet worden wären". In der Tat wird in der Replik der Kaufvertrag, der Kreditvertrag und die von den Parteien geschlossene Vereinbarung als zusammenhängendes Konstrukt geschildert. Es handelt sich mithin nicht um eine neue Tatsachenbehauptung; jedoch erschöpft sich das Vorbringen in der (soeben abgehandelten) Auffassung einer Abhängigkeit zwischen dem Kaufvertrag und der Vereinbarung. Die Vorinstanz ging daher auch unter dem Aspekt der Nicht-Beurkundung des Rückkaufsrechts zu Recht von einem formgültig abgeschlossenen Kaufvertrag aus.
8.4. Eine andere Frage wäre, ob der Kaufvertrag ungültig ist, nicht zufolge eines formellen Mangels, aber aus materiellen Gründen, nämlich weil die gültige Einräumung eines Rückkaufsrecht für beide Parteien ein subjektiv wesentlicher Punkt im Rahmen des Abschlusses des Kaufvertrages war. Es ist nicht klar, ob die Beschwerdeführer dies geltend machen wollen, wenn sie ausführen, der Grundstückkaufvertrag wäre ohne gleichzeitige Einräumung des Rückkaufsrechts nicht geschlossen worden. Dagegen spricht, dass dieses Vorbringen lediglich unter dem Titel "C. Formungültigkeit Grundstückkaufvertrag" erwähnt wird, also als Begründung des Formmangels, und keine selbstständige materiellrechtliche Rüge erhoben wird. Die Frage kann offengelassen werden. In Ziffer 2.2.1 der Vereinbarung "verpflichtet (e) sich" die Beschwerdegegnerin, den Beschwerdeführern, ein Kaufrecht "einzuräumen". Es wurden Einzelheiten des Kaufrechts umschrieben; zur Erfüllung dieser Verpflichtung - nämlich der Einräumung durch Grundbucheintrag - kam es aber nicht. Die Vorinstanz hat keine Feststellungen dazu getroffen, weshalb es nicht dazu kam. Sie hat zum Rückkaufsrecht festgehalten, dass dieses nicht öffentlich beurkundet (<ref-law>) wurde und auch von der Beurkundung des Kaufvertrages (offensichtlich) nicht mitumfasst war. Zudem hätten die Beschwerdeführer auch nicht belegt, dass sie das Rückkaufsrecht vor dem 31. Dezember 2012 ausgeübt hätten und die Bedingungen für dessen Ausübung eingetreten waren, namentlich hätten die Beschwerdeführer keine substanziierten Behauptungen zu einer Ausübung des Kaufrechts gemacht, wozu zwingend ihr Angebot für den (Rück-) Kaufpreis von Fr. 1.2 Mio. gehört hätte. Auf all das gehen die Beschwerdeführer nicht weiter ein, namentlich machen sie nicht geltend, dass sie Schritte unternommen hätten, um auf der Erfüllung der Verpflichtung zur Begründung des Kaufrechts zu beharren. Die Beschwerdeführer können aber nach Treu und Glauben den Grundstückkaufvertrag nicht mangels gültiger Einräumung eines Rückkaufsrechts für ungültig ausgeben, wenn sie dieses gar nicht ausgeübt hätten oder (mangels Erfüllung der Voraussetzungen) nicht gültig hätten ausüben können. Nur falls sich die Beschwerdegegnerin trotz Erfüllung der in der Vereinbarung festgelegten Voraussetzungen der tatsächlichen Ausübung des Kaufrechts durch die Beschwerdeführer mit Blick auf den Formmangel widersetzt hätte, könnten diese nach Treu und Glauben daraus etwas zu ihren Gunsten ableiten. Denn nur unter dieser Voraussetzung würde sich die fehlende Beurkundung des Rückkaufsrecht praktisch auswirken. Dass diese Voraussetzung erfüllt wäre, ist nicht festgestellt und wird auch in der Beschwerde nicht rechtsgenüglich aufgezeigt.
9.
Die Beschwerde ist somit abzuweisen, soweit darauf einzutreten ist. Dem Ausgang des Verfahrens entsprechend werden die Beschwerdeführer kosten- und entschädigungspflichtig (Art. 66 Abs. 1 und Art. 68 Abs. 2 BGG).

rulings:
Demnach erkennt das Bundesgericht:
1.
Die Beschwerde wird abgewiesen, soweit darauf einzutreten ist.
2.
Die Gerichtskosten von Fr. 6'000.-- werden unter solidarischer Haftbarkeit den Beschwerdeführern auferlegt.
3.
Die Beschwerdeführer haben unter solidarischer Haftbarkeit die Beschwerdegegnerin für das bundesgerichtliche Verfahren mit Fr. 3'500.-- zu entschädigen.
4.
Dieses Urteil wird den Parteien und dem Kantonsgericht St. Gallen, III. Zivilkammer, schriftlich mitgeteilt.
Lausanne, 20. Januar 2017
Im Namen der I. zivilrechtlichen Abteilung
des Schweizerischen Bundesgerichts
Die Präsidentin: Kiss
Der Gerichtsschreiber: Luczak


considerations:
In Erwägung,
dass das Bundesgericht mit Urteil 4A_203/2017 vom 27. April 2017 die Beschwerde von A._ (Gesuchsteller) gegen ein Urteil des Obergerichts des Kantons Zürich vom 1. März 2017 im Verfahren nach Art. 109 Abs. 2 lit. a BGG abwies;
dass A._ mit Eingabe vom 7. Juni 2017 die Revision des bundesgerichtlichen Urteils 4A_203/2017 vom 27. April 2017 verlangt und sodann mit Eingabe vom 12. Juni 2017 um Gewährung der aufschiebenden Wirkung ersucht hat;
dass keine Vernehmlassungen eingeholt wurden;
dass die Revision eines Entscheides des Bundesgerichts nur aus einem der in den Art. 121-123 BGG abschliessend aufgezählten Gründe verlangt werden kann;
dass gemäss Art. 42 Abs. 1 und 2 BGG Rechtsschriften die Begehren und deren Begründung mit Angabe der Beweismittel enthalten müssen, ansonsten darauf nicht eingetreten werden kann (vgl. <ref-ruling> E. 2 S. 116; <ref-ruling> E. 2.1), wobei in der Begründung in gedrängter Form darzulegen ist, inwiefern der angefochtene Akt Recht verletzt;
dass in einem Revisionsgesuch dementsprechend unter Angabe der Beweismittel der Revisionsgrund im Einzelnen darzulegen ist, wobei es nicht genügt, das Vorliegen eines solchen einfach zu behaupten, sondern vielmehr dargetan werden muss, weshalb dieser gegeben und inwiefern gestützt darauf das Urteilsdispositiv abzuändern ist (Urteile des Bundesgerichts 4F_19/2014 vom 20. November 2014; 4F_14/2012 vom 11. Oktober 2012 und 8F_10/2008 vom 11. August 2008);
dass der Gesuchsteller dem Sinn nach einen Revisionsgrund nach Art. 121 lit. c BGG anruft, wenn er geltend macht, im Urteil stehe nichts von seinem Antrag auf "Feststellung der Nichtigkeit des Generalversammlungsbeschlusses" sowie demjenigen auf "Anwendung von OR 28/31 anstelle von OR 891";
dass indessen nicht erkennbar ist, inwiefern es sich dabei um selbständige Anträge des Gesuchstellers handelte, welche durch die Abweisung der Beschwerde unbeurteilt geblieben sind, zumal Art. 107 Abs. 2 BGG dem Bundesgericht bloss bei Gutheissung der Beschwerde erlaubt, in der Sache selbst zu entscheiden;
dass die Eingabe vom 7. Juni 2017 den Anforderungen an ein Revisionsgesuch ferner insoweit offensichtlich nicht genügt, als der Gesuchsteller darin die dem Urteil 4A_203/2017 vom 27. April 2017 zugrundeliegende Rechtsauffassung kritisiert;
dass das Revisionsgesuch demnach abzuweisen ist, soweit darauf eingetreten werden kann;
dass das Gesuch um aufschiebende Wirkung mit dem Entscheid in der Sache gegenstandslos wird;
dass unter den gegebenen Umständen ausnahmsweise auf die Erhebung von Gerichtskosten zu verzichten ist (Art. 66 Abs. 1 zweiter Satz BGG);

rulings:
erkennt das Bundesgericht:
1.
Das Revisionsgesuch wird abgewiesen, soweit darauf einzutreten ist.
2.
Es werden keine Gerichtskosten erhoben.
3.
Dieses Urteil wird den Parteien und dem Obergericht des Kantons Zürich, II. Zivilkammer, schriftlich mitgeteilt.
Lausanne, 15. Juni 2017
Im Namen der I. zivilrechtlichen Abteilung
des Schweizerischen Bundesgerichts
Die Präsidentin: Kiss
Der Gerichtsschreiber: Kölz


facts:
Sachverhalt:
A.
Die Staatsanwaltschaft Zürich-Limmat führt gegen A._ eine Strafuntersuchung wegen qualifizierter Geldwäscherei (Art. 305 bis StGB). Ihm wird im Wesentlichen vorgeworfen, als Direktor der Firma B._ AG grosse Bargeldbeträge aus deliktischer Herkunft (Drogenhandel) ohne Quittung und Vermerk in der Buchhaltung angenommen und an Drittpersonen weitergegeben zu haben, damit diese im Ausland entsprechende Fremdwährungsbeträge hätten entgegennehmen können. Es soll sich dabei um ein eigentliches Bargeldtauschsystem gehandelt haben, in dessen Rahmen im Jahr 2015 insgesamt Fr. 38'750.-- und EUR 710'000.-- sowie im Jahr 2016 mindestens Fr. 563'850.-- übergeben worden seien.
B.
A._ wurde am 3. Mai 2016 verhaftet und am 6. Mai 2016 in Untersuchungshaft versetzt. Das Zwangsmassnahmengericht des Bezirks Zürich verlängerte die Haft am 5. Mai 2017 um weitere drei Monate. Das von A._ am 21. Juli 2017 gestellte Haftentlassungsgesuch wies das Zwangsmassnahmengericht mit Verfügung von 27. Juli 2017 ab und verlängerte die Untersuchungshaft bis zum 27. Oktober 2017. Diesen Entscheid focht er beim Obergericht des Kantons Zürich an, das seine Beschwerde mit Beschluss vom 25. August 2017 abwies. Gemäss seinen Angaben befindet er sich seit dem 12. September 2017 im vorzeitigen Strafvollzug.
C.
Mit Beschwerde in Strafsachen vom 27. September 2017 gelangt A._ an das Bundesgericht und beantragt, er sei unter Aufhebung des obergerichtlichen Beschlusses umgehend aus dem vorzeitigen Strafvollzug zu entlassen. Eventualiter sei er unter Anordnung von Ersatzmassnahmen zu entlassen. In prozessualer Hinsicht ersucht er um unentgeltliche Rechtspflege und Verbeiständung.
Das Obergericht verzichtet auf eine Stellungnahme. Die Staatsanwaltschaft hat sich nicht vernehmen lassen.

considerations:
Erwägungen:
1.
Die Sachurteilsvoraussetzungen von Art. 78 ff. BGG sind erfüllt und geben zu keinen Bemerkungen Anlass.
2.
Der angefochtene Entscheid betrifft Zwangsmassnahmen im Sinne von Art. 196 ff. StPO. Die Auslegung und Anwendung der in der StPO geregelten Voraussetzungen für Grundrechtsbeschränkungen prüft das Bundesgericht mit freier Kognition (Art. 95 lit. a BGG). Der vorzeitige Strafantritt (Art. 236 StPO) stellt seiner Natur nach eine strafprozessuale Zwangsmassnahme auf der Schwelle zwischen Strafverfolgung und Strafvollzug dar (<ref-ruling> E. 3.2.1 S. 277). Für eine Fortdauer der strafprozessualen Haft in den Modalitäten des vorzeitigen Strafvollzugs muss weiterhin ein besonderer Haftgrund vorliegen und die Haftdauer hat verhältnismässig zu sein (vgl. <ref-ruling> E. 3.5 S. 246).
Der Beschwerdeführer stellt den dringenden Tatverdacht der qualifizierten Geldwäscherei nicht in Abrede. Hingegen bestreitet er das Vorliegen des besonderen Haftgrunds der Fluchtgefahr und macht neben Überhaft geltend, er sei unter Anordnung von Ersatzmassnahmen aus dem vorzeitigen Strafvollzug zu entlassen.
3.
3.1. Die Annahme von Fluchtgefahr als besonderer Haftgrund setzt ernsthafte Anhaltspunkte dafür voraus, dass die beschuldigte Person sich dem Strafverfahren oder der zu erwartenden Sanktion durch Flucht entziehen könnte (Art. 221 Abs. 1 lit. a StPO). Nach der Rechtsprechung des Bundesgerichts darf die Schwere der drohenden Sanktion zwar als ein Indiz für Fluchtgefahr gewertet werden. Sie genügt jedoch für sich allein nicht, um einen Haftgrund zu bejahen. Vielmehr müssen die konkreten Umstände des betreffenden Falles, insbesondere die gesamten Lebensverhältnisse der beschuldigten Person, in Betracht gezogen werden (<ref-ruling> E. 3a S. 62; <ref-ruling> E. 4a S. 70; je mit Hinweisen). So ist es zulässig, ihre familiären und sozialen Bindungen, ihre berufliche Situation und Schulden sowie Kontakte ins Ausland und Ähnliches mitzuberücksichtigen (Urteil 1B_322/2017 vom 24. August 2017 E. 3.1).
3.2. Die Vorinstanz hat das Vorliegen von Fluchtgefahr bejaht. Sie erwog im Wesentlichen, der Beschwerdeführer habe aufgrund des hohen Deliktsbetrags sowie weiterer Straftaten mit einer sehr empfindlichen Freiheitsstrafe zu rechnen, welche die bisher erstandene Haft deutlich übersteige. Zwar erscheine eine teilbedingte Strafe nicht von vornherein als unrealistisch; der Beschwerdeführer habe jedoch auch mit einer unbedingten Strafe zu rechnen, weshalb selbst bei einer Anrechnung der erstandenen Haft nach wie vor ein Fluchtanreiz bestehe. Neben seiner 5-jährigen Tochter und deren Mutter, die - wie er - portugiesische Staatsangehörige seien und mit denen er in die Schweiz gezogen sei, bestünden keine besonderen familiären und sozialen Bindungen zur Schweiz. Vielmehr sei er in Portugal verwurzelt und pflege einen engen Kontakt zu seiner Mutter, die in Brasilien lebe. Zudem erscheine der Aufenthaltsstatus seiner Tochter und deren Mutter, von der er sich getrennt habe, als ungesichert, weshalb nicht auszuschliessen sei, dass sie gemeinsam die Schweiz verlassen könnten. Auch verfüge er über keine Berufsausbildung und es sei nicht ersichtlich, wie er im Falle einer Haftentlassung ein legales Einkommen in der Schweiz erzielen könnte. Dagegen verfüge er in Portugal über eine Liegenschaft sowie ein Bankkonto und sei dort - genauso wie in Angola - bereits verschiedenen beruflichen Tätigkeiten nachgegangen. Da aufgrund der drohenden Strafe ein gewichtiger Fluchtanreiz bestehe, der weder durch soziale Bindungen noch durch berufliche Aussichten in der Schweiz kompensiert werden könne, liege eine erhebliche Fluchtgefahr vor.
3.3. Die dagegen vom Beschwerdeführer vorgebrachten Einwände vermögen nicht zu überzeugen. Der Vorinstanz ist darin beizupflichten, dass ihm wegen der mutmasslichen, qualifizierten Geldwäscherei mit erheblicher Deliktssumme sowie weiterer Straftaten eine Verurteilung zu einer mehrjährigen Freiheitsstrafe ernsthaft droht. Er räumt denn auch selbst ein, dass er mit einer empfindlichen Strafe zu rechnen habe. Insofern kann bereits aufgrund der Dauer der drohenden Freiheitsstrafe nicht als sicher angenommen werden, dass das Strafgericht auf einen teilbedingten Vollzug der Strafe erkennen wird (Art. 43 Abs. 1 StGB). Dieser setzt überdies das Fehlen einer ungünstigen Prognose voraus (<ref-ruling> E. 5.3.1 S. 10; Urteil 6B_1079/2016 vom 21. März 2017 E. 2.1.1). Der Beschwerdeführer bringt einzig vor, er sei nicht vorbestraft und ihm könne weder in subjektiver noch objektiver Hinsicht ein schweres Delikt angelastet werden. Darüber hinaus macht er jedoch keine Angaben, die eine begründete Aussicht auf Bewährung bei einer Gesamtwürdigung der Umstände als gegeben erscheinen liessen. Insbesondere ist seine finanzielle Situation angespannt und es dürfte für ihn schwierig sein, in der Schweiz eine Arbeitsstelle zu finden. Die Befürchtung, er könnte erneut straffällig werden, erscheint daher nicht bloss als entfernte Möglichkeit.
Es trifft sodann zu, dass die Fluchtgefahr in der Regel mit zunehmender Haftdauer abnimmt, weil die bereits erstandene strafprozessuale Haft angerechnet werden kann (<ref-ruling> E. 4.3 S. 166 f.). Der dem Beschwerdeführer drohende (Rest-) Strafvollzug der zu gewärtigenden empfindlichen Freiheitsstrafe begründet angesichts des Vorerwähnten aber weiterhin einen erheblichen Fluchtanreiz. Sodann fällt erschwerend ins Gewicht, dass er über keine gesicherte Arbeitsstelle in der Schweiz verfügt und ihm der Einstieg in den hiesigen Arbeitsmarkt mangels Berufsausbildung und aufgrund seiner mässigen Deutschkenntnisse sehr schwer fallen dürfte. Insofern ist auch unklar, wie er für seine Tochter und für die ihm von seiner Ex-Partnerin angebotenen Untermiete aufkommen können soll, bei der ohnehin der Eindruck entsteht, dass es sich eher um ein Aushelfen als um die Begründung eines dauerhaften und stabilen Mietverhältnisses handelt.
Demgegenüber ist er insbesondere in Portugal bereits mehreren beruflichen Tätigkeiten nachgegangen. Dort leben auch seine Geschwister und weitere nahe Verwandte, denen er sich verbunden fühlt. Zu seiner Mutter, die in Brasilien wohnt, wo er nach eigenen Angaben bis zu seinem 18. Lebensjahr gelebt hatte, besteht ebenfalls ein enges Verhältnis, bezeichnet er sie doch als eine seiner wichtigsten Bezugspersonen. Der Beschwerdeführer behauptet zwar, eine innige Beziehung zu seiner in der Schweiz wohnhaften Tochter zu pflegen. Abgesehen davon, dass sich dies aus den für das Bundesgericht verbindlichen Feststellungen der Vorinstanz nicht ergibt, erscheint deren Aufenthaltsstatus, der sich von demjenigen ihrer Mutter ableitet, jedenfalls nach den vorinstanzlichen Ausführungen als ungesichert. Daran vermag auch das im vorliegenden Verfahren lediglich behauptete und unbelegte Anstellungsverhältnis seiner Ex-Partnerin nichts zu ändern. Deren Rückkehr nach Portugal ist insoweit nicht auszuschliessen. Da der Beschwerdeführer ansonsten in der Schweiz über kein ausgeprägtes soziales und familiäres Umfeld verfügt, muss davon ausgegangen werden, dass seine Bindungen zur Schweiz im Vergleich zu Portugal, wo er überdies ein Bankkonto und zwei Wohnungen besitzt, weniger eng sind. Diese Faktoren sind neben seiner Reiseerfahrenheit geeignet, eine erheblich fluchtbegünstigende Wirkung zu entfalten. Mithin lässt eine Gesamtwürdigung der Umstände eine Flucht als ernsthaft möglich erscheinen, womit der Schluss der Vorinstanz, der Haftgrund gemäss Art. 221 Abs. 1 lit. a StPO sei gegeben, kein Bundesrecht verletzt.
4.
4.1. Der Beschwerdeführer bestreitet sodann die Verhältnismässigkeit der bisherigen Haftdauer und beantragt die Anordnung von Ersatzmassnahmen.
4.2. Gemäss Art. 31 Abs. 3 BV und Art. 5 Ziff. 3 EMRK hat eine in strafprozessualer Haft gehaltene Person Anspruch darauf, innerhalb einer angemessenen Frist richterlich abgeurteilt oder während des Strafverfahrens aus der Haft entlassen zu werden. Eine übermässige Haftdauer stellt eine unverhältnismässige Beschränkung dieses Grundrechts dar. Sie liegt dann vor, wenn die Haftfrist die mutmassliche Dauer der zu erwartenden freiheitsentziehenden Sanktion übersteigt (vgl. Art. 212 Abs. 3 StPO). Das Gericht darf die Haft nur so lange erstrecken, als sie nicht in grosse zeitliche Nähe der (im Falle einer rechtskräftigen Verurteilung) konkret zu erwartenden Dauer der freiheitsentziehenden Sanktion rückt. Der grossen zeitlichen Nähe ist - wie der Beschwerdeführer zu Recht vorbringt - auch deshalb besondere Beachtung zu schenken, weil das Strafgericht dazu neigen könnte, die Dauer der nach Art. 51 StGB anrechenbaren Untersuchungshaft bei der Strafzumessung mitzuberücksichtigen (<ref-ruling> E. 3.4.2 S. 281 f.). Die Frage, ob eine Haftdauer als übermässig bezeichnet werden muss, ist aufgrund der konkreten Verhältnisse des einzelnen Falles zu beurteilen (<ref-ruling> E. 3.1 S. 275; <ref-ruling> E. 4.1 S. 170; je mit Hinweisen).
4.3. Soweit sich der Beschwerdeführer erneut auf die Möglichkeit eines allfälligen teilbedingten Vollzugs der Freiheitsstrafe beruft, verkennt er, dass dies für die Beurteilung der Verhältnismässigkeit der Haft nach ständiger Rechtsprechung grundsätzlich keine Rolle spielt (<ref-ruling> E. 3.1 S. 275; Urteil 1B_179/2016 vom 6. Juni 2016 E. 5.2). Ebenso ist bei der Prüfung der zulässigen Haftdauer die Möglichkeit einer bedingten Entlassung aus dem ordentlichen Strafvollzug (Art. 86 Abs. 1 StGB) nur in Ausnahmefällen Rechnung zu tragen, nämlich wenn bereits im jetzigen Verfahrensstadium aufgrund der konkreten Umstände absehbar ist, dass eine bedingte Entlassung mit grosser Wahrscheinlichkeit erfolgen dürfte (<ref-ruling> E. 4.2 S. 166; Urteile 1B_407/2016 vom 28. November 2016 E. 4.1; 1B_363/ 2015 vom 30. Oktober 2015 E. 2.4). Inwiefern dies vorliegend der Fall sein soll, legt der Beschwerdeführer weder in rechtsgenüglicher Weise dar noch ist dies ersichtlich. Zwar ist ihm zugutezuhalten, dass die Art der gefährdeten Rechtsgüter nicht besonders schwer ins Gewicht fällt. Soweit er sich jedoch auf sein angebliches Wohlverhalten im Strafvollzug beruft, übersieht er, dass nach der Rechtsprechung ein gutes Verhalten im Vollzugsalltag allein - wenn dies denn hier tatsächlich zutreffen sollte - nicht ohne Weiteres als prognostisch positiv gewertet werden darf und sich daraus keine prognoserelevante Veränderung in Bezug auf die Rückfallgefährdung ableiten lässt (<ref-ruling> E. 1 S. 27; Urteil 1B_363/2015 vom 30. Oktober 2015 E. 2.5). Zudem kann angesichts des Vorerwähnten (vgl. E. 3.3) nicht ausgeschlossen werden, dass er nach der Entlassung aus dem Strafvollzug die Schweiz verlassen könnte, womit eine allfällige Anordnung von Bewährungshilfen bzw. die Erteilung von Weisungen (Art. 87 Abs. 2 StGB) sowie eine Rückversetzung im Falle der Nichtbewährung möglicherweise entfiele (vgl. Urteile 1B_363/2015 vom 30. Oktober 2015 E. 2.5; 6B_93/2015 vom 19. Mai 2015 E. 5.7). In Würdigung dieser Umstände droht ihm daher zur Zeit keine Überhaft.
4.4. Wie bereits dargelegt, erweist sich die Fluchtgefahr in Übereinstimmung mit dem Obergericht auch im jetzigen Zeitpunkt noch als derart ausgeprägt, dass sich Ersatzmassnahmen nach der einschlägigen Praxis des Bundesgerichts regelmässig als unzureichend erweisen (vgl. Urteil 1B_322/2017 vom 24. August 2017 E. 3.1 mit Hinweisen). Soweit der Beschwerdeführer die Ausführungen der Vorinstanz zur Meldeauflage, zum Rayon, zur Pass- und Schriftensperre und zum "Electronic Monitoring" beanstandet, deren Zwecktauglichkeit unter Berücksichtigung der einschlägigen Rechtsprechung des Bundesgerichts verneint wurde, vermögen seine Einwände ohnehin den Begründungsanforderungen gemäss Art. 42 Abs. 2 BGG nicht zu genügen. Eine Haftentlassung gegen Kaution käme nur in Frage, wenn die Sicherheitsleistung tatsächlich geeignet wäre, den Beschwerdeführer von einer Flucht abzuhalten (Urteile 1B_149/2017 vom 5. Mai 2017 E. 5.2; 1B_251/2015 12. August 2015 E. 4.5). Dies ist bei seinem Vorschlag, die Liegenschaften in Portugal mit einem Grundpfandrecht zu belegen, zu bezweifeln. Darüber hinaus macht er keine Angaben, wie er eine Kaution in angemessener Höhe erhältlich machen könnte. Mithin hält die Ansicht des Obergerichts, die genannten Ersatzmassnahmen reichten nicht aus, um der dargelegten Fluchtgefahr ausreichend zu begegnen, vor Bundesrecht stand.
5.
Die Beschwerde erweist sich somit als unbegründet und ist abzuweisen. Bei diesem Verfahrensausgang wird der Beschwerdeführer kostenpflichtig (Art. 66 Abs. 1 BGG). Er ersucht indes um unentgeltliche Rechtspflege und Verbeiständung (Art. 64 BGG). Da er in der Rechtsschrift selbst ausführt, er könne namentlich aufgrund seiner Wohnungen in Portugal nicht als mittellos bezeichnet werden, und über seine finanziellen Verhältnisse, abgesehen von den bloss behaupteten, unbelegten Schulden bzw. vom fehlenden Einkommen während der strafprozessualen Haft, im Weiteren nichts bekannt ist, kann dem Gesuch mangels belegter Prozessarmut nicht stattgegeben werden.

rulings:
Demnach erkennt das Bundesgericht:
1.
Die Beschwerde wird abgewiesen, soweit darauf einzutreten ist.
2.
Das Gesuch um unentgeltliche Rechtspflege und Verbeiständung wird abgewiesen.
3.
Die Gerichtskosten von Fr. 2'000.-- werden dem Beschwerdeführer auferlegt.
4.
Es wird keine Parteientschädigung zugesprochen.
5.
Dieses Urteil wird dem Beschwerdeführer, der Staatsanwaltschaft Zürich-Limmat und dem Obergericht des Kantons Zürich, III. Strafkammer, schriftlich mitgeteilt.
Lausanne, 23. Oktober 2017
Im Namen der I. öffentlich-rechtlichen Abteilung
des Schweizerischen Bundesgerichts
Das präsidierende Mitglied: Karlen
Die Gerichtsschreiberin: Pedretti