53.43/53.82	unsat
