51.39/52.34	unsat
