52.87/53.09	unsat
