54.42/54.52	unsat
