25.93/26.50	unsat
