51.65/51.75	unsat
