53.05/53.42	unsat
