53.71/53.92	unsat
