51.78/52.26	unsat
