25.21/26.50	unsat
