51.92/52.07	unsat
