51.92/53.18	unsat
