51.67/53.53	unsat
