26.91/26.94	unsat
