52.28/53.04	unsat
