49.40/54.09	unsat
