51.65/51.86	unsat
