58.42/58.52	unsat
