52.58/52.66	unsat
