25.16/26.87	unsat
