23.91/26.50	unsat
