53.88/54.01	unsat
