fn86tns.unisat