26.22/26.97	unsat
