25.44/25.50	unsat
