54.42/55.19	unsat
