51.49/52.61	unsat
