52.83/53.00	unsat
