52.16/53.11	unsat
