52.61/53.36	unsat
