54.35/54.83	unsat
