52.50/53.09	unsat
