51.58/53.35	unsat
