54.12/58.53	unsat
