3nsat$ : Jior 8 MI.