52.34/53.87	unsat
