25.28/26.50	unsat
