51.83/52.30	unsat
