53.43/53.69	unsat
