54.16/54.85	unsat
