52.71/53.17	unsat
