50.65/53.57	unsat
