52.94/53.41	unsat
