52.58/52.84	unsat
