55.58/58.42	unsat
