51.16/52.64	unsat
