51.60/52.75	unsat
