25.35/25.52	unsat
