Get your taxes done using TurboTax

 Thanks for the reply. We are not resident aliens. We are now citizen residents of the US. The house qualified as our principal primary residence in the country it was sold, therefore we did not pay any tax on the sale.