25.45/25.50	unsat
