52.34/53.39	unsat
