88.65/89.92	unsat
