92.65/93.06	unsat
