283.65/283.92	unsat
