80.65/80.94	unsat
