25.10/26.50	unsat
