25.48/25.52	unsat
