51.36/51.84	unsat
