51.49/53.52	unsat
