54.48/54.68	unsat
