53.02/53.48	unsat
